body {
	padding-left: 10em;
	font-family: Georgia, "Times New Roman", Times, serif;
	background-color: #DDD;
	background-image: url("../css/bg.png");
}
address {
	margin-top: 1em;
	padding-top: 1em;
	border-top: thin dotted;
}
em {
	/*color: blue*/
}
h1	{ background:	url("../css/1x1/FFFFFF-66.png"); }
h2	{ background:	url("../css/1x1/FFFF00-33.png"); margin-top: 2em; }

h1,h2,h3	{ clear: right; }


span.smallcaps { font-variant: small-caps; }

p.sidebar { float: right; background: url("../css/1x1/00FFFF-33.png"); }

div.footnote { float: left; margin-left: -10em; background: url("../css/1x1/00FFFF-33.png"); }


/*- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
 * main navigation bar.
 *	position: absolute;	-- menu scrolls with page
 *	position: fixed;	-- menus always at top-left, page scrolls past fixed menu
 */
div#nav {
	position: fixed;
	top: 1em;
	left: 0;
	width: 10em;
	height: 20em;
	/* border: thin solid #080; */
	/* font: 16px Verdana, sans-serif; */
}
div#nav a {
	display: block;
	text-align: center;
	font: /* bold */ 1em sans-serif;
	padding: 0.5em 0 0.5em 0;
	margin: 0 0 0.25em 0;
	border-width: 0;
	text-decoration: none;
	color: #EED;
	background: #226;
	/* background: url("../css/color-226-A.png"); */
}
div#nav a.here	{ background: #239; }
div#nav a.home	{ background: #264; }
div#nav a:hover	{ background: #44E; color: #FFC; }
div#nav a.home:hover { background: #395; }


/*- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
 * Example boxes:
 *	<pre class="example"> ... </pre>
 *
 * Code boxes: Like example boxes, except no wrapping
 *	<pre class="code"> ... </pre>		-- code example-box
 *	<pre class="code float"> ... </pre>	-- floating code example-box
 *	<div class="code"><pre> ... </pre><p>caption</p></div>	-- with caption
 */
div.code, pre.code,
div.example, pre.example {
	width:		90%;
	margin:		1em 5% 1em 5%;
	border:		none;
	clear:		both;
	background:	url("../css/1x1/FFFFFF-33.png");
}
div.example, pre.example {
	background:	url("../css/1x1/FFFFFF-33.png");
	padding:	0.25em 0.5em 0.25em 0.5em;
}
div.code, pre.code {
	border-top:	thin solid #00B;
	border-bottom:	thin solid #00B;
}
div.code.float, pre.code.float,
div.example.float, pre.example.float {
	width:		auto;
	float:		right;
	margin:		0.25em 0em 0.25em 0.5em;
	border:		thin solid #00B;
}

div.code pre, pre.code	{
	font-family:	monospace;
	font-size:	80%;
	padding:	0.25em 0.5em 0.25em 0.5em;
	page-break-inside: avoid;
 	color:		#008;
}
div.example pre, pre.example {
	font-size:	80%;
	page-break-inside: avoid;
}

/* <p class=caption> captions the codebox.  alas <caption> doesn't work outside of tables */
p.caption {
	display: block;
	background:	url("../css/1x1/99CCFF-99.png");
	text-align:	center;
	margin:		0;
}
div.example p.caption {	/* go flush to outside of padded div box */
	margin:		0em -0.5em -0.25em -0.5em;
}
div.code.float p.caption,
div.example.float p.caption {
	padding:	0 0.5em 0 0.5em;
}

div.code *,
div.example * {
	margin:		0;
}
/* footnotes
page-break-before: always; position: absolute; bottom 0; right 0;
*/


/*- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
 * Code styling
 */
span.c-header		{ color: #008; }	/* a name of header file */

span.c-var,
span.c-int,
span.c-fn,
span.c-type,
span.c-struct-elem,
span.c-misc, var, code	{ color: #008; font-style: italic; }

/* description of struct fields */
dl.c-struct-desc	{ margin: 0 5% 0 5%; border-bottom: thin dotted; border-top: thin dotted; }
dl.c-struct-desc dt	{ color: #008; font-weight: bold; }
dl.c-struct-desc dd	{  }

/* description of functions and methods */
dl.c-meth-desc		{ margin: 1em 5% 1em 5%; border-bottom: thin dotted black; padding-bottom: 0.25em; }
dl.c-meth-desc		{ background: url("../css/1x1/FFFFFF-33.png"); }
dl.c-meth-desc dt	{ color: #048; padding-top: 0.25em; margin-top: 0.25em; border-top: thin dotted black; }
dl.c-meth-desc dd	{  }
dl.c-meth-desc dt span.c-fn	{ color: #008; font-style: normal; font-weight: bold; }

dl.c-struct-desc, dl.c-meth-desc { page-break-inside: avoid; }

/* bitwise */
table.bits		{ margin: 0 0 0 auto; text-align: center; font-size: 80%; background: url("../css/1x1/CCFFFF-33.png"); }
table.bits caption	{ font-size: 125%; }
table.bits td		{ border: thin solid; }
table.bits th		{ font-weight: normal; }
tr.bitno td		{ width: 1em; }
tr.tick td		{ width: 0.125em; border: none; }


/*- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
 * Some things to help with math
 */
span.math, div.math	{ font-size: 120%; white-space: nowrap; color: #008; vertical-align: middle; }
span.math		{ margin: 0.125em; }
div.math		{ margin: 0.5em 0em 0.5em 3em; }
/* div.math	{ background: url("../css/1x1/FFFFFF-33.png"); } */

/* works: opera.  doesn't work: firefox
div.math:after		{ counter-increment: eqn; content: "( " counter(eqn) " )"; margin-left: auto; float: right; } */


span.sum:before		{ content: '\2211'; font-size: 150%; vertical-align: -0.1em; margin: 0.2em; }

/* play games with margin-left because "border-top: none;" doesn't seem to turn off in sqrt:before */
span.sqrt, span.cbrt	{ border-top: thin solid;  margin-left: 1.25em; padding-top: 0.125em; }

span.sqrt > span.sqrt,
span.sqrt > span.cbrt,
span.sqrt > .quotient,
span.cbrt > span.sqrt,
span.cbrt > span.cbrt,
span.cbrt > .quotient,
.quotient > span.sqrt,
.quotient > span.cbrt,
.numerator > .quotient,
.denominator > .quotient	{ font-size: 80%; }

span.sqrt:before,
span.cbrt:before	{ font-size: 150%;  vertical-align: -0.1em;  margin-left: -.7em;  text-decoration: none;  border-top: none; }
span.sqrt:before	{ content: '\221A'; }
span.cbrt:before	{ content: '\221B'; }

span.power		{ font-size: 80%; vertical-align: super; }
span.pi:before		{ content: '\03C0'; }


.quotient {
	display: /* inline-table */ inline-block;
	margin: 0.25em auto 0.25em 0;
	/* border: thin solid #080; */
}
.quotient .numerator { display: table-cell; vertical-align: bottom; }
.quotient .denominator { display: table-row; }
.numerator { border-bottom: thin solid; }
.denominator { /* border-top: thin solid; */ }
.numerator,.denominator { padding-left: 0.25em; padding-right: 0.25em; text-align: center; }

.evalbar { height: 3em; vertical-align: bottom; font-size: 80%; border-left: thin solid; }
/*
display:  inline  block  inline-block  list-item  run-in  table  inline-table  table-row  table-row-group
*/


/*- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
 */
table.figure, table.figure3d	{
	float: right;
	clear: right;
	text-align: center;
	font-size: 80%;
	background: url("../css/1x1/FFFFFF-33.png");
	margin-bottom: 0.5em;
}
table.figure3d	{ background: none; }



/*- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
 * misc colored text.  (use sparingly - seek descriptive styles above first)
 * Typically in <span> but works elsewhere too
 */
.red	{ color: #C00; }
.orange	{ color: #B60; }
.yellow	{ color: #880; }
.green	{ color: #0A0; }
.cyan	{ color: #099; }
.blue	{ color: #00D; }
.purple	{ color: #909; }
.gray	{ color: #555; }

.centered	{ text-align: center; }