header {
   display: block;
   }
   
hgroup {
   display: block;
   }
   
nav {
   display: block;
   }
   
aside {
   display: block;
   }
   
footer {
   display: block;
   }
   
article {
   display: block;
   }
   
section {
   display: block;
   }
   
figure {
   display: block;
   }
   
details {
   display: block;
   }
   
div.emdetails {
	display: block;
	}

div.cleardiv {
   clear: both;
   }
   
.nodisplay {
	display: none;
	}
	
/*[aria-hidden="true"] {
   display: none;
}*/

abbr {
	border:none;
	}
abbr[title] {
	border-bottom: 1px dotted black;
	}
h1 abbr[title] {
	border:none;
	}
h2 abbr[title] {
	border:none;
	}
h3 abbr[title] {
	border:none;
	}
h4 abbr[title] {
	border:none;
	}
h5 abbr[title] {
	border:none;
	}
h6 abbr[title] {
	border:none;
	}
a[href] abbr[title] {
	border:none;
	}
	
time[title] {
	border-bottom: 1px dotted black;
}
   
div.jsNotice {
   display: block;
   background-color: orange;
   width: 100%;
   position: fixed;
   top: 0px; left: 0px;
   z-index: 9999;
   }
   
div.jsNotice p {
   text-align: center;
   font-size: 14px;
   margin-top: 4px;
   margin-bottom: 4px;
   }
   
div.jsNotice button {
   float: right;
   margin-right: 6px;
   margin-left: 6px;
   margin-top: 4px;
   margin-bottom: 4px;
   }
   
img.WebBadge {
   border: none;
   }
   
figure {
   border-width: 1px;
   border-style: none;
   padding: 6px;
   }
   
figure pre {
   margin-top: -4px;
   }
   
details {
   border-width: 1px;
   border-style: none;
   padding: 6px;
   }
   
/*details pre {
   margin-top: -4px;
   }*/
   
figcaption {
   display: block;
   font-style: oblique;
   text-align: center;
   }
   
summary {
   display: block;
   /*font-style: oblique;
   text-align: center;*/
   }
   
/*p.dbg_detOpen {
	display: block;
   font-style: oblique;
   text-align: center;
	}*/
	
p.dbg_detOpen:before {
	font-style: normal;
	content: "▼ ";
}
	
/*p.dbg_detClosed {
	display: block;
   font-style: oblique;
   text-align: center;
	}*/
	
p.dbg_detClosed:before {
	font-style: normal;
	content: "▶ ";
}

.summaryHighlight {
	background-color:yellow;
}
   
.dbg-Fleft {
	display:block;
	float: left;
	margin: 5px 15px 15px 0px;
	border: 0;
	}
	
.dbg-Fright {
	display:block;
	float: right;
	margin: 5px 15px 15px 0px;
	border: 0;
	}
   
/* mathml */
.math {
   text-align: center;
   margin-top: 12px;
   margin-bottom: 12px;
   }
   
/* social network box */
.dbg-snwplug {
	float: right;
	}
	
.dbg-tweethis {
	display: block;
	padding: 2px 5px 2px 20px;
	border: 1px solid #ccc;
	clear: both;
	}
	
.dbg-rbutton {
	display: block;
	text-align: right;
	margin-right: 1.5em;
	margin-bottom: 1.5em;
	clear: both;
	}
	
nav.dbg-contentnav {
	margin-top: 0.8em;
	}
	
/*.dbg-contentnav ul, .dbg-contentnav ul li {
	display: inline;
	}*/
	
.dbg-contentnav ul li {
	display: inline;
	}
	
.dbg-contentnav ul li:after {
	content: " | ";
	}
	
.dbg-contentnav ul li.first:after {
	content: " : ";
	}
	
.dbg-contentnav ul li.last:after {
	content: "";
	}
	
p.dbg-metadata {
	text-align: right;
	}
	
/* details */

button.dbg-details {
	font-size: 75%;
	color: blue;
}
   
/* text highlight */

button.dbg-copycode {
	font-size: 75%;
	color: blue;
}

textarea.dbg-copycode {
	width: 95%;
/*	height: 15em;*/
}

.hl-default {
    color: Black;
}
.hl-code {
    color: Gray;
}
.hl-brackets {
    color: Olive;
}
.hl-comment {
    color: Orange;
}
.hl-quotes {
    color: Darkred;
}
.hl-string {
    color: Red;
}
.hl-identifier {
    color: Blue;
}
.hl-builtin {
    color: Teal;
}
/*.hl-reserved {
    color: Green;
}*/
.hl-reserved {
    color: Darkblue;
}
.hl-inlinedoc {
    color: Blue;
}
/*.hl-var {
    color: Darkblue;
}
*/
.hl-var {
    color: Green;
}
.hl-url {
    color: Blue;
}
.hl-special {
    color: Navy;
}
.hl-number {
    color: Maroon;
}
.hl-inlinetags {
    color: Blue;
}
/*.hl-main {
//    background-color: White;
//} */
.hl-gutter {
    background-color: #999999;
    color: White
}
.hl-table {
    font-family: courier;
    font-size: 12px;
    border: solid 1px Lightgrey;
}

/* age verification */
#dbg-ageVerify {
   display: block;
   background-color: #F0F8FF;
   width: 100%;
   height: 100%;
   position: fixed;
   top: 0px; left: 0px;
   z-index: 9999;
}
   
#dbg-ageVerify h1 {
	text-align: center;
}
   
#dbg-ageVerify p {
	text-align: center;
}
	
#dbg-ageCenter {
	width: 70%;
	margin-left: 15%;
	margin-top: 12%;
}

#dbg-ageCenter p {
	font-size: 110%;
}

#dbg-ageCenter h1 {
	font-variant: small-caps;
	font-size: 3.5em;
}

#dbg-aventer {
	width: 33%;
	float: left;
}
	
#dbg-avimage {
	width: 33%;
	float: left;
}

#dbg-avimage img {
	display: block;
	margin: auto;
}

#dbg-avexit {
	width: 33%;
	float: right;
}

div.avwrapper {
	width: 100%;
	height: 180px;
	}

div.avbutton {
	margin-top: 2px;
}

div.avbutton a {
	color:#369;
}

div.avbutton a:hover {
	color:#369;
}

div.avbutton a:visited {
	color:#369;
}

/* geek */
.tex sub, .latex sub, .latex sup {
  text-transform: uppercase;
}

.tex sub, .latex sub {
  vertical-align: -0.5ex;
  margin-left: -0.1667em;
  margin-right: -0.125em;
}

.tex, .latex, .tex sub, .latex sub {
  font-size: 1em;
}

.latex sup {
  font-size: 0.85em;
  vertical-align: 0.15em;
  margin-left: -0.36em;
  margin-right: -0.15em;
}