/* jemdoc-style stylesheet, after the default jemdoc.css by Jacob Mattingley
   (jemdoc.jaboc.net) as used by the Stanford EE364a/EE263 course pages.
   Colours, rules and spacing follow the original; the media query at the end
   is an addition so the menu stacks on narrow screens. */

body {
	background: white;
	font-family: Helvetica, Arial, sans-serif;
	padding-bottom: 8px;
	margin: 0;
	color: #000;
}

table#tlayout {
	border: none;
	border-collapse: separate;
	background: white;
	width: 100%;
	max-width: 62em;
}

#layout-menu {
	border: 0px solid #dddddd;
	background: #f6f6f6;
	padding: 0.5em 8px 1em 8px;
	font-size: 1.0em;
	width: 11em;
	white-space: nowrap;
	text-align: left;
	vertical-align: top;
}

#layout-content {
	padding: 0em 1.0em 0 1.5em;
	border: none;
	background: white;
	text-align: left;
	vertical-align: top;
}

#layout-menu a { line-height: 1.5em; margin-left: 0.5em; }
#layout-menu a:link, #layout-menu a:visited, #layout-menu a:hover {
	color: #527bbd;
	text-decoration: none;
}
#layout-menu a.current:link, #layout-menu a.current:visited {
	color: #022b6d;
	border-bottom: 1px gray solid;
}

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;
}

a, a > tt { color: #224b8d; text-decoration: none; }
a:hover { border-bottom: 1px gray dotted; }

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

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

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

h1, h2, h3 {
	color: #527bbd;
	margin-top: 0.7em;
	margin-bottom: 0.3em;
	padding-bottom: 0.2em;
	line-height: 1.0;
	padding-top: 0.5em;
	border-bottom: 1px solid #aaaaaa;
}

h1 { font-size: 165%; }
h2 { padding-top: 0.8em; font-size: 125%; }
h3 { font-size: 110%; border-bottom: none; }

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

em { font-style: italic; }
strong { font-weight: bold; }

tt { background: #ffffdd; }
pre, tt { font-size: 90%; font-family: monaco, monospace; }

ul, ol, dl { margin-top: 0.2em; padding-top: 0; margin-bottom: 0.8em; }
ul { list-style-position: outside; list-style-type: square; }
ol { list-style-position: outside; list-style-type: decimal; }
p + ul, p + ol { margin-top: -0.5em; }
li ul, li ol { margin-top: -0.3em; }
li p { margin-bottom: 0.3em; }

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.infoblock p { margin-bottom: 0em; }
div.infoblock p + p { margin-top: 0.8em; }

table.imgtable, table.imgtable td { border: none; text-align: left; }

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; }

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

/* Addition to the original: stack the menu above the content on phones. */
@media (max-width: 36em) {
	table#tlayout, table#tlayout tbody, table#tlayout tr, table#tlayout td {
		display: block;
		width: auto;
	}
	#layout-menu { width: auto; white-space: normal; }
	#layout-content { padding: 0 1em; }
}