body {
	background: white;
	font-family: /*Optima */ sans-serif;
	padding-bottom: 8px;
	padding-left: 20px;
	margin: 0;
	font-size: small;
       max-width: 700px;
}

#layout-menu {
	background: #F0E68C; /*#f4f4f4;*/
	border: 1px solid #dddddd;
	padding-top: 0.5em;
	padding-left: 8px;
	padding-right: 8px;
	font-size: 1.0em;
	width: auto;
	white-space: nowrap;
}

#layout-menu a {
	line-height: 1.5em;
	margin-left: 0.5em;
}

tt {
/*	color: green;*/
}

tt.tthl {
	color: black;
}

pre, tt {
	font-size: 100%;
	font-family: monospace;
}

a, a > tt {
/*	color: #224b8d;*/
	text-decoration: none;
}

a:hover {
	border-bottom: 1px gray dotted;
}


a:link, a:visited {
/*       color: #534B4F; */ /*#6D351A;*/
}


#layout-menu a.current:link, #layout-menu a.current:visited {
	color: #534B4F; /*#022b6d;*/
	border-bottom: 1px gray solid;
}
#layout-menu a:link, #layout-menu a:visited, #layout-menu a:hover {
	color: #534B4F; /*#527bbd;*/
	text-decoration: none;
}
#layout-menu a:hover {
	text-decoration: none;
}

div.menu-category {
	border-bottom: 1px solid gray;
	margin-top: 0.8em;
	padding-top: 0.2em;
	padding-bottom: 0.1em;
	font-weight: bold;
}

div.menu-item {
	padding-left: 16px;
	text-indent: -16px;
}

div#toptitle {
	padding-bottom: 0.2em;
	margin-bottom: 1.5em;
	border-bottom: 3px double gray;
}

/* Reduce space if we begin the page with a title. */
div#toptitle + h2, div#toptitle + h3 {
	margin-top: -0.7em;
}

div#subtitle {
	margin-top: 0.0em;
	margin-bottom: 0.0em;
	padding-top: 0em;
	padding-bottom: 0.1em;
}

#layout-content {
	padding-top: 0.0em;
	padding-left: 1.0em;
	padding-right: 1.0em;
}

em {
	font-style: italic;
}

strong {
	font-weight: bold;
}


h1, h2, h3 {
	color: #534B4F; /*#527bbd;*/
	margin-top: 1em;
	margin-bottom: 0.8em;
	padding-bottom: 0.4em;
	line-height: 1.0;
	padding-top: 0.7em;
	border-bottom: 1px solid #aaaaaa;
}

h1 {
	font-size: 165%;
}

h2 {
	padding-top: 0.8em;
	font-size: 125%;
}

h2 + h3 {
    padding-top: 0.2em;
}

h3 { font-size: 115%;
	border-bottom: none;
	margin-bottom: 0.1em; }

h4 {
	font-size: 110%;
	border-bottom: none;
	margin-bottom: 0em;
}

h5 {
	font-size: 100%;
     margin-bottom: 0em;
	border-bottom: none;
}

p {
	margin-top: 0.3em;
	margin-bottom: 0.8em;
	padding: 0;
	line-height: 1.3;
}

pre {
	padding: 0;
	margin: 0;
      color: 	#006400; /*#228B22;*/
}

code {
/*           margin-top: 20px;*/
           color: 	#006400; /*#228B22;*/
	margin: 0 0 0 2px;  /*--Left Margin--*/
	padding: 18px 0;
       /*display: block;*/
       font-size: 100%;
}

div#footer {
	font-size: small;
	border-top: 1px solid #c0c0c0;
	padding-top: 0.1em;
	margin-top: 4.0em;
	color: #c0c0c0;
}

div#footer a {
	color: #80a0b0;
}

div#footer-text {
	float: left;
	padding-bottom: 8px;
}

ul, ol, dl {
	margin-top: 0.2em;
	padding-top: 0;
	margin-bottom: 0.8em;
}

dt {
	margin-top: 0.5em;
	margin-bottom: 0;
}

dl {
	margin-left: 20px;
}

dd {
	color: #222222;
}

dd > *:first-child {
	margin-top: 0;
}

ul {
	list-style-position: outside;
	list-style-type: square;
}

p + ul, p + ol {
	margin-top: 0.2em;
}

li ul, li ol {
	margin-top: 0.2em;
}

ol {
	list-style-position: outside;
	list-style-type: decimal;
}

li p, dd p {
	margin-bottom: 0.3em;
}


ol ol {
	list-style-type: lower-alpha;
}

ol ol ol {
	list-style-type: lower-roman;
}

p + div.codeblock {
	margin-top: -0.6em;
}

div.codeblock, div.infoblock {
	margin-right: 0%;
	margin-top: 1.2em;
	margin-bottom: 1.3em;
        
}

div.blocktitle {
	font-weight: bold;
	color: #cd7b62;
	margin-top: 1.2em;
	margin-bottom: 0.1em;
}

div.blockcontent {
	border: 1px solid silver;
	padding: 0.3em 0.5em;
}

div.infoblock > div.blockcontent {
	background: #ffffee;
}

div.blockcontent p + ul, div.blockcontent p + ol {
	margin-top: 0.4em;
}

div.infoblock p {
	margin-bottom: 0em;
}

div.infoblock li p, div.infoblock dd p {
	margin-bottom: 0.5em;
}

div.infoblock p + p {
	margin-top: 0.8em;
}

div.codeblock > div.blockcontent {
	background: #f6f6f6;
}

span.pycommand {
	color: #000070;
}

span.statement {
	color: #008800;
}
span.builtin {
	color: #000088;
}
span.operator {
	color: #880000;
}
span.error {
	color: #aa0000;
}
span.comment, span.comment > *, span.string, span.string > * {
	color: #606060;
}

@media print {
	#layout-menu { display: none; }
}

#fwtitle {
	margin: 2px;
}

#fwtitle #toptitle {
	padding-left: 0.5em;
	margin-bottom: 0.5em;
}

#layout-content h1:first-child, #layout-content h2:first-child, #layout-content h3:first-child {
	margin-top: -0.7em;
}

div#toptitle h1, #layout-content div#toptitle h1 {
	margin-bottom: 0.0em;
	padding-bottom: 0.1em;
	padding-top: 0;
	margin-top: 0.5em;
	border-bottom: none;
}

img {
    border: none;
}

img.eq {
	padding: 0;
	padding-left: 0.1em;
	padding-right: 0.1em;
	margin: 0;
}

img.eqwl {
	padding-left: 2em;
	padding-top: 0.6em;
	padding-bottom: 0.2em;
	margin: 0;
}


/*)
table.Timetable { width: 400px; 
        border-collapse: collapse; 
            margin-left: 1px; margin-right: 1px;
}


table.boh { width: 400px; 
           border-left-style: solid; border-left-color : #C6C6C6; 
            border-left-width : 1px; border-right-style: solid; border-right-col
or: #C6C6C6; 
            border-right-width: 1px; border-bottom-style: solid; border-bottom-c
olor: #C6C6C6; 
            border-bottom-width: 1px; border-collapse: collapse; 
            margin-left: 1px; margin-right: 1px;
}



table.Lectures { width: 800px; 
          border-style: solid; border-color : #C6C6C6; 
            border-width : 1px; 
            border-collapse: collapse; 
            margin-left: 1px; margin-right: 1px;
}


table.Lectures td  { border: 1px solid #C6C6C6; height: 30px; 
               empty-cells: show;}


table.Lectures td.c1 { width: 5px; }
table.Lectures td.c2 { width: 80px; }
table.Lectures td.c3 { width: 355px; }
table.Lectures td.c4 { width: 70px; }
table.Lectures td.c5 { width: 290px; }


table.Lectures tr.r1 { font-weight: bold} 

*/