a
{
	color:           black;
	text-decoration: none;
}

body
{
	font-family: 'Heebo', tahoma;
	font-size:   14pt;
	overflow:    hidden;
}

canvas
{
	left:     0px;
	position: absolute;
	top:      0px;
}

div#console
{
	background-color: rgba( 92, 7, 63, 0.7 );
	color:            rgb( 195, 195, 195 );
	cursor:           text;
	display:          none;
	font-family:      "Lucida Console", monospace;
	font-size:        9pt;
	left:             0px;
	opacity:          0.7;
	padding:          0px 10px;
	position:         absolute;
	top:              0px;
	z-index:          5;
}

div#console a
{
	color:       white;
	font-weight: bold;
}

div#console div
{
/*	margin-top: -2.5px;*/ /* wedge was difference in font specifications... */
}

div#console form
{
	display: initial;
}

div#console input
{
	background-color: rgba( 0, 0, 0, 0 );
	border:           0px;
	color:            inherit;
	font-family:      "Lucida Console", monospace;
	font-size:        9pt;
	margin:           0px;
	outline:          none;
	padding:          0px;
}

div#console pre
{
	font-family: "Lucida Console", monospace;
	font-size:   9pt;
	margin:      0px;
	overflow:  hidden;
	white-space: pre-wrap;
	word-wrap:   break-word;
}

img#woodward-hall
{
	display: none;
}

ul
{
	display: none;
}

ul > li > a > span
{
	display: none;
}




body[data-theme|="none"]
{
	font-family: 'Heebo', tahoma, sans-serif;
	height:      100%;
	margin:      0px 0px 20px 0px;
}

body[data-theme|="none"] > *
{
	display: none;
}

body[data-theme|="none"] > div.vertical-center
{
	display: block;
}

body[data-theme|="none"] > div.vertical-center
{
	/* IE5MAC hack has been removed */
	left:       0px;
	margin-top: -210px;
	position:   absolute;
	text-align: center;
	top:        50%;
	width:      100%;
}

body[data-theme|="none"] > div.vertical-center ul
{
	display:         inline;
	float:           left;
	list-style-type: none;
	margin-top:      0px;
	margin-left:     0px;
	padding-left:    0px;
}

body[data-theme|="none"] div.vertical-center > div
{
	height:     420px;
	margin:     0px auto;
	position:   relative;
	text-align: left;
	width:      600px;
}

body[data-theme|="none"] div#fractal-container
{
	background-repeat: no-repeat;
	/*cursor:            pointer;*/
	float:             right;
	font-family:       'Heebo', arial;
	font-size:         8pt;
	padding-bottom:    5px;
	padding-right:     5px;
	padding-top:       405px;
	position:          relative;
	text-align:        right;
	width:             395px;
}

body[data-theme|="none"] ul > li
{
	border-style: solid;
	border-width: 0px 0px 3.5px 0px;
	display:      list-item;
	font-size:    15pt;
	font-family:  'Heebo', tahoma, sans-serif;
	margin:       30px 0px;
	padding:      0px 15px 1px 5px;
	text-align:   left;
}

body[data-theme|="none"] ul > li > a
{
	color:   rgb( 68, 68, 68 );
	display: inline-block;
	width:   100%;
}

body[data-theme|="none"] ul > li > a > span
{
	display:    initial;
	padding:    0px 0ex 0px 0.75ex;
	visibility: hidden;
}

body[data-theme|="none"] ul > li > a:hover span
{
	visibility: visible;
}

body[data-theme|="none"] #splash-copy
{
	display: none;
}

body[data-theme|="none"] span.copyright
{
	bottom:    0pt;
	font-size: 7pt;
	left:      0pt;
	position:  absolute;
}

body[data-theme|="none"] span.superscript
{
	bottom:    0.5em;
	font-size: 0.8em;
	position:  relative;
}

body[data-theme|="none"] span.complex-unit
{
	font-family: serif;
	font-style:  italic;
}

@media screen and (max-width: 600px), screen and (max-height: 420px)
{
	body[data-theme="none"] div#fractal-container
	{
		display: none;
	}

	body[data-theme="none"] > div.vertical-center
	{
		margin:     5ex 5ex;
		position:   relative;
		text-align: left;
		top:        0px;
		width:      initial;
	}

	body[data-theme="none"] > div.vertical-center > div
	{
		margin: initial;
		width:  initial;
	}

	body[data-theme="none"] > div.vertical-center ul
	{
		display:         inline-block;
		list-style-type: none;
	}

	body[data-theme="none"] > div.vertical-center li
	{
		border-bottom: 3px solid;
		margin:        initial;
		margin-top:    2.0ex;
		padding:       initial;
	}

	body[data-theme="none"] > div.vertical-center li#splash-copy
	{
		border:        none;
		display:       list-item;
		margin-top:    4.0ex;
		padding-right: 3ex;
		width:         100%;
		text-align:    right;
	}

	body[data-theme="none"] span.copyright
	{
		display: none;
	}
}