#header { background-image: url("img/header.png"); background-repeat: no-repeat;
	width: 600px; height: 100px; }
#header h1 { display: none; }

/* body { min-width: 400px; } */
/* #content { max-width: 800px; } */

#topmenu { display: table; width: 100%; /*background-color: #557;*/
	background-color: #595970; font-size: smaller; font-family: sans-serif;
	margin-top: 1px; }
/* ie hack: ie cant read > */
/* this is for ie */
#topmenu ul { margin: 0; padding: 0; display: inline; }
#topmenu ul li { display: inline; padding-left: 25px; }
/* this is for others */
html>body #topmenu ul { display:table-row; padding: 0; margin: 0; width:100%;}
html>body #topmenu ul li { display:table-cell; padding-left: 15px; 
	padding-right: 15px; white-space: nowrap; }
html>body #topmenu ul li#right { display:table-cell; width: 100%;
	text-align: right; padding-right: 15px; }
#topmenu a:link, #topmenu a:visited { color: #fff; text-decoration: none; }
#topmenu a:hover, #topmenu a:active { text-decoration: underline; }

#footer { font-family: sans-serif;  text-align: right; }
#footer div.seperator { margin-top: 10px; padding: 0px; height: 1px;
	border-bottom: 1px solid #555; font-size: 1px;}
#footer p { margin-top: 3px; padding: 0; color: #555; font-size: 8pt; }

#content { padding-left: 15px; padding-right: 15px; font-family: sans-serif;
	font-size: 90%; }
html>body #content  pre { font-size: 110%; }
html>body #content tt { font-size: 110%; }
html>body #content code { font-size: 110%; }
#content h2 { border-bottom: 1px dotted #ccc; border-top: 0px solid #eef;
	margin-top: 1em;  font-size: 130%; }

#content h2 { color: #336; }
/*
 #content h2:after { content: " ---";  }
#content h2:before { content: " >> "; }
*/

.code { font-family: monospace; background-color: #f9f9f9;
	margin-left: 1em; margin-right: 1em; padding: 2px; }
html>body .code { font-size: 110%; }

ul { list-style-image: url(img/sqbullet.gif); }
ul#frontmatter { list-style-position: outside; margin: 0;  padding-left: 2em; }

div.texformula img { margin-left: 4em; vertical-align: middle; 
	margin-bottom: .5ex; margin-top: .5ex; }


span.texinline img { vertical-align: middle; }
span.texinline img { margin-left: .25em; margin-right: .4em; }

/*
div.texformula { counter-increment: formula; }
div.texformula:before { content: "("counter(formula)")"; display: marker; 
	vertical-align: middle; display: marker; }
div.texformula:after { content: "("counter(formula)")"; display: marker; 
	vertical-align: middle; display: none; align: right; 
	width: 200px; }
*/


div.eqnum { vertical-align: middle; }
div.eqnum div.texformula { display: inline;  }
div.eqnum div.texformula img { margin-left: 1.3em; }

html>body div.eqnum { display: table; width: 100%; }
html>body div.eqnum span { display: table-cell; width: 4em; }
html>body div.eqnum div { display: table-cell; }
html>body div.eqnum div.texformula img { margin-left: 0; }