/* distyle3.css */


body {
	color: black; 
	background: #fffff0;	/* Ivory */
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 16px;
}
h1 {
	font-size: 1.6em;
	font-family: verdana, arial, helvetica, sans-serif;
	text-align: left;
}
h2 {
   font-family: Verdana, Arial, Helvetica, sans-serif;
   font-size: 1.5em;
   font-weight: normal;
   background:  #eef;
   margin-left: -3pt;
   margin-right: -3pt;
   padding-left: 3pt;
   padding-right: 3pt;
   border-bottom: 2px solid #aaf;
}
h3 {
	/* font-size: 100%; */
	color: black;
	background: transparent;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	text-align: left;
}
h3.link {font-weight: normal;}
h4 {
	color: black;
	background: transparent;
	font-family: verdana, arial, helvetica, sans-serif;
	text-align: left;
}
p {
	line-height: 1.2em;
}
pre {
	background: #efefef;
	color: black;
	overflow: auto;
}
code {
	font-family: 'courier new', courier, monospace;
	font-size: 100%;
}
code.filename {
	font-family: Consolas, "Vera sans mono", "Lucida Typewriter", monospace;
	font-size: 100%;
}
ul.vs, ol.vs {
	margin-bottom: 1em;
}
.vs li {
	margin-bottom: inherit;
}
ul.vss, ol.vss {
	margin-bottom: 0.5em;
}
.vss li {
	margin-bottom: inherit;
}
li.vs {
	margin-bottom: 1em;
}
li.vss {
	margin-bottom: 0.5em;
}
ul.nomarkers {
	list-style-type:none;
	padding:0;
	margin-left:1.5em;
}
dt {
	font-weight: bold;
	margin-top: 1em;
}
img {
	border: 0;
	max-width: 100%;
}
input, textarea {
	max-width: 100%;
}
td.bleft {
	text-align: left;
	width: 30%;
}
td.smcode {
	font-family: 'courier new', courier, monospace;
	font-size: 0.875em;
}
table.ditable {
	margin: 0.5em;
	border: 1px #aaa solid;
	border-collapse: collapse;
}
.ditable th, .ditable td {
	border: 1px #aaa solid;
	padding: 0.1em 0.5em;
}
.ditable th {
	background: #ccffff;
	text-align: center;
	vertical-align: bottom;
}
.ditable td {
	vertical-align: top;
}	
.ditable caption {
	font-weight: bold;
}

.smaller {
	font-size: 0.875em;
}
.maplist {
	font-family: Verdana, Arial, Helvetica, sans-serif; 
	font-size: 0.875em;
}
.eqn {
	font-size: 100%;
	font-family: 'courier new', courier, monospace;
	text-align: left;
}
.tone {
	background: #ccffff;
	color: black;
}
.highlight {
	color: red;
	background: transparent;
}
.comment {
	color: green;
	background: transparent;
}
.ref {
	color: #00cc00;
	background: transparent;
}
.plainquote {
	color: #cc0000;
	background-color: transparent;
}
.quoted {
	font-size: 0.875em; 
	font-family: georgia, serif;
}
.contents {
	font-size: 0.875em;
	font-family: verdana, arial, helvetica, sans-serif;
}
.qcontents {
	font-size: 0.875em;
	font-family: verdana, arial, helvetica, sans-serif;
	text-align: center;
}
.tm-api {
	color: #006600;
	font-weight: bold;
	background: transparent;
	font-family: "Trebuchet MS", Verdana, sans-serif;
}
.tm-pki {
	color: #cc0000;
	font-weight: bold;
	background: transparent;
	font-family: "Trebuchet MS", Verdana, sans-serif;
}
.fs1 {
	color: #239e46;
	background: transparent;
	font-family: arial, helvetica, sans-serif; 
	font-weight: bold;
	font-size: 1.125em;
}
.fs2 {
	color: #be0027;
	background: transparent;
	font-family: arial, helvetica, sans-serif;
	font-weight: bold;
	font-size: 1.125em;
}
.trademark {
	color: black;
	font-weight: bold;
	background: transparent;
	font-family: "Trebuchet MS", Verdana, sans-serif;
}
.tm-bdc {
	color: black;
	font-weight: normal;
	background: transparent;
	font-family: "Trebuchet MS", Verdana, Helvetica, sans-serif;
	font-size: 125%;
}
.vbcodex {
	background: #efefef;
	color: black;
	margin: 10px; 
	padding: 5px; 
	border: thin dashed black;
	overflow: auto;
}
.codex {
	background: #efefef;
	color: black;
	margin: 10px; 
	padding: 5px; 
	border: thin dashed black;
	overflow: auto;
}
.code {
	background: #efefef;
	color: black;
}
.output {
	background: #ffdead;
	color: black;
}
.precode {
	background: #efefef;
	color: black;
	font-family: 'courier new', courier, monospace;
	font-size: 0.875em;
}
.input-box {
	background: #ffff99;
	color: black;
}
.u {
	text-decoration: underline;
}
.sc {
	font-variant: small-caps;
}
.noshow {
	display: none;
}
.kw {
	color: blue;
	background: transparent;
}

/* Links */
a:link {color: blue; background: transparent; text-decoration: underline}
a:visited {color: purple; background: transparent; text-decoration: underline}
a:hover, a:focus { color: blue ; text-decoration : underline; background : yellow; }
a:active {color: #cc0000; background: transparent;}

a.side:link {color: white; background: transparent; text-decoration: none}
a.side:visited {color: white; background: transparent; text-decoration: none}
a.side:hover, a.side:focus {color: white; background: transparent; font-weight : bold; text-decoration: underline overline}
a.side:active {color: white; background: transparent; text-decoration: none}

/* Used with left-navigation menu */
.side {
	font-size: 11px;
	color: #ffffff;
	font-family: verdana, arial, helvetica, sans-serif;
	font-weight: bold;
	background: #006699;
	margin-top: 1px;
	margin-bottom: 1px;
	padding: 3px;
}
.l-body-text {
/* MAIN TEXT IN PAGE WITH LEFT MENU */
	padding: 6px; 
	margin: 0px 5% 0px 125px; 
}
.l-left-menu {
	left: 6px; 
	width: 110px; 
	position: absolute; 
	top: 90px
}
.n-left-nav {
	left: 6px; 
	width: 110px; 
	position: fixed; 
	top: 60px
}
.l-footer {
	margin: 10px 5% 0 125px; 
	padding-top: 5px; 
	border-top: 3px solid #006699;
}
/* Across the whole page */
.t-header {
	position: static;
	font-family: Arial, Helvetica, sans-serif;
	margin: 0 5% 5px 0;
	padding: 1px;
	border-top: 1px solid #006699; 
	border-bottom: 3px solid #006699;
}
.w-body-text {
/* MAIN TEXT IN PAGE WITH NO SIDE MENU */
	padding: 6px; 
	margin: 0 5% 0 0;
}
.w-footer {
	margin: 10px 5% 0 0; 
	padding-top: 5px; 
	border-top: 3px solid #006699;
}
.l-logo {
	float:left;
	margin-right:10px;
	border: none;
}
.r-logo {
	float:right;
	padding: 0 0px 20px 20px;
	border: none;
}
/* In the header */
.h-logo {
	float:right;
	left:2%;
	padding:3px;
}
.h-search {
	float:right; 
	padding:5px;
	font-size: 0.875em;
	font-family: Arial, Helvetica, sans-serif;
}
.h-crumbs {
	text-align:left;
	left:10px;
	padding:10px;
	width:55%;
	font-size: 0.875em;
	font-family: Arial, Helvetica, sans-serif;
}
/* Two columns */
#leftcolumn {
	float:left;
	left:2%;
	width:45%;
	top:50px;
	border-left: 1px dotted #000;
	border-right: 1px dotted #000;
	padding: 1px 10px
}
#rightcolumn {
	float:left;
	left:50%;
	width:45%;
	top:50px;
	border-right: 1px dotted #000;
	padding: 1px 10px
}
/* In the footer */
.footer-gen {
	width: 100%; 
	margin-top: 10px; 
	padding-top: 5px; 
	border-top: 3px solid #069;
}
.footer-links {
	font-family:Arial,Helvetica,sans-serif;
	font-size: 0.875em;
	text-align: center;
}
.split m {
	padding: 0em 1em;
}
.f-w3c {
	float:left;width:190px;
}
.f-copyright {
	margin-left:200px;
	font-family:Arial,Helvetica,sans-serif;
	font-size: 0.875em;
	text-align:center;
	padding: 1px;
}
/* Weighted */
.rank01 {
	margin:0px;
	font-family:Arial, Helvetica, sans-serif;
	font-size:1.5em;
	line-height:1.6em;
	font-weight: bold;
}
.rank02 {
	margin:0px;
	font-family:Arial, Helvetica, sans-serif;
	font-size:1.3em;
	line-height:1.6em;
	font-weight: bold;
}
.rank03 {
	margin:0px;
	font-family:Arial, Helvetica, sans-serif;
	font-size:1.0em;
	line-height:1.6em;
	font-weight: bold;
}

/* Clustr-map related */
#clustr {
	float:right;
}
#contents {
	margin-right: 200px;
	padding: 5px;
	border: thin dashed #069;
}

/* Book reading stuff */
div.book-outer {
	float:right;
	width:350px;
}
.book {
	margin: 0 0 20px 20px; 
	padding: 2px 20px; 
	border: 2px green solid;
	font-family: georgia, serif;
}
.book h3 { color:green; }
.book ul, ol { padding-left: 1.2em; }
.book li { margin-bottom: 0.5em; }

/* Boxes, breakouts */
.caution {
	margin: 20px 20% 20px 20px; 
	padding: 2px 20px; 
	border: 1px red dashed;
}
.commendblock {
	width: 80%; 
	margin: 30px; 
	padding: 10px 20px 10px 20px; 
	border: 1px #006699 dashed; 
}
.commendblock blockquote {
	margin: 1em 3em;
	color: #666;
	border-left: 2px solid #999;
	padding-left: 1em;
	font-style: italic;
	font-family: Georgia,Helvetica,serif; 
}
.commendblock h3 {
	margin-top: 0;
}
.feedback {
	width: 80%;
	margin-bottom: 2em;
}
.feedback blockquote {
	margin: 1em 3em;
	color: #666;
	border-left: 2px solid #999;
	padding-left: 1em;
	font-style: italic;
	font-family: Georgia,Helvetica,serif; 
	font-size: 0.875em;
}
.feedback p {
	border-bottom: 1px #999 dashed;
	padding-bottom: 1em;
	margin-bottom: 1em;
}
div.breakout {
	margin: 10px;
	padding: 10px;
	border: 1px red dashed;
	margin-right: 200px;
}
.quote {
	color: #cc0000;
	background: transparent;
	font-family: georgia, serif;
	line-height: 1.5;
}
span.withdrawn {
	text-decoration:line-through;
	color:gray;
}

span.newthing {
	color:yellow;
	background: red;
	font-weight: bold;
}
pre.console {
	padding: 20px 10px 20px 10px;
	background-color: #222;
	overflow: auto;
	/*font-size: 12px;*/
	color: #fff;
	font-family: Consolas,Calibri,monospace;
}
pre.hl	{ color:#000000; background-color:transparent; /*font-size:10pt;*/ font-family:'Courier New',Courier,monospace;}
.hl.num { color:#000000; }
.hl.esc { color:#a31515; }
.hl.str { color:#a31515; }
.hl.pps { color:#0000ff; }
.hl.slc { color:#008000; }
.hl.com { color:#008000; }
.hl.ppc { color:#0000ff; }
.hl.opt { color:#000000; }
.hl.lin { color:#2b91af; }
.hl.kwa { color:#0000ff; }
.hl.kwb { color:#0000ff; }
.hl.kwc { color:#2b91af; }
.hl.kwd { color:#000000; }