html {
	max-width: 320px;
}
body {
	max-width: 320px;
	margin: 0;
	padding: 0;
	font-size: 14px;
}
h1 { font-size: 20px; }
h2 { font-size: 18px; }
h3 { font-size: 16px; font-weight: normal; }
h2 > a,h3 > a { color: #000; text-decoration: none; }
h2.current > a,h3.current > a { color: #000; text-decoration: underline; }
h2 > a:after,h3 > a:after { content: " »"; }
h2.current > a:after,h3.current > a:after { content: ""; }
body,tbody { font-family: verdana,tahoma,sans-serif; }
a.currentStyle { font-weight: bold; }
a.deactivated,a.deactivated:hover,a.deactivated:active { color: #000; text-decoration: none; cursor: text; }
div#unirand,#hdgunirand { display: none; }
#inputdiv { display: none; }
#rightside { display: none; }
.todo { background-color: #f44; }
#firstthing { display: none; }
#breadcrumbs { display: none; }
#letterTheta { display: none; }
.subsection { display: none; }
#browserWarning { display: none; }
#mobileBrowserWarning { display: none; }

h1,#contact,#changecss,#updated { margin-left: 5px; margin-right: 5px; }
#slotted { margin-left: 10px; margin-right: 10px; }

/* Relying on these rules to trigger rerendering when the "current" class is added or removed causes lagging issues in Safari. These rules are implemented via jQuery instead.
#slotted > div,#slotted > h3 { display: none; }
#slotted > h2.current + div,#slotted > h3.current,#slotted > h3.current + div { display: block }
#slotted > h2.current + div + h3,
#slotted > h2.current + div + h3 + div + h3,
#slotted > h2.current + div + h3 + div + h3 + div + h3,
#slotted > h2.current + div + h3 + div + h3 + div + h3 + div + h3,
#slotted > h2.current + div + h3 + div + h3 + div + h3 + div + h3 + div + h3,
#slotted > h2.current + div + h3 + div + h3 + div + h3 + div + h3 + div + h3 + div + h3,
#slotted > h2.current + div + h3 + div + h3 + div + h3 + div + h3 + div + h3 + div + h3 + div + h3,
#slotted > h2.current + div + h3 + div + h3 + div + h3 + div + h3 + div + h3 + div + h3 + div + h3 + div + h3
{ display: block; }
*/