body {
	color: #ffffff;
	background-color: #111111;
}
div {
	color: #ffffff;
	background-color: #222222;
	padding: 0 0 0 0;
	/* border: 1px solid #000000; */
	border: 0;
	margin-left: 0px;
	margin-right: 0px;
	margin-top: 1em;
	margin-bottom: 1em;
	clear: both;
}
h1 {
	color: #ffffff;
	background-color: #111111;
	font-family: serif;
	font-size: xx-large;
	font-weight: bold;
	padding: 0.2em 0.4em;
	border: 0;
	margin: 2px;
}
h2 {
	font-size: x-large;
}
h3 {
	color: #ffffff;
	background-image: url("menu_grey.gif");
	background-color: #000000;
	background-repeat: repeat-x;
	font-family: sans-serif;
	font-size: medium;
	font-weight: normal;
	padding: 0.2em 0.4em;
	border: 0;
	margin-top: 0;
	margin-bottom: 0.5em;
	margin-left: 0;
	margin-right: 0;
}
ol {
	margin: .2em;
}
ul {
	margin: .2em;
	list-style-image: url("einsteinring_icon.gif");
}
li {
	text-indent: 0em;
}
p {
	/* text-indent: 2em; */
	padding: 0;
	margin-top: 0.5em;
	margin-bottom: 0.5em;
	margin-left: 0;
	margin-right: 0;
	border: 0;
}
br {
	padding: 0;
	margin: 0;
	border: 0;
}
a {
	text-decoration: underline;
	color: #7777ff;
}
a:hover {
	text-decoration: underline;
	color: #aaaaff;
}
a:visited {
	text-decoration: underline;
	color: #aa44ff;
}

table {
	border-collapse: collapse;
}

body.front {
	color: #ffffff;
	background-color: #222222;
	font-family: serif;
	border: 0;
}
div.front {
	color: #ffffff;
	background-color: #000000;
	font-size: large;
	width: 60%;
	min-width: 400px;
	margin-top: 0;
	margin-bottom: 0;
	margin-left: auto;
	margin-right: auto;
	border: 1px solid #ff0000;
}
h1.front {
	text-align: center;
	color: #ffffff;
	background-color: #000000;
	font-size: xx-large;
	font-weight: bold;
	padding: 0;
	border: 0;
	margin-left: 0px;
	margin-right: 0px;
	margin-top: 0.5em;
	margin-bottom: 0.5em;
}
p.front {
	text-indent: 0;
	margin-left: 0px;
	margin-right: 0px;
	margin-top: 0.5em;
	margin-bottom: 0.5em;
}
a.front {
	color: #7777ff;
	text-decoration: underline;
}
a.front:hover {
	color: #aaaaff;
}
a.front:visited {
	color: #aa44ff;
}
img.front {
}

div.menu {
	color: #000000;
	background-color: #ffffff;
	padding-left: 0em;
	padding-right: 0em;
	padding-top: 0em;
	padding-bottom: 0em;
	margin-top: 0;
	margin-bottom: 0;
	margin-left: auto;
	margin-right: 0;
	border: 0;
	clear: none;
}
ul.menu {
	list-style-type: none;
	text-indent: 0;
	/* background-image: url("menu_grey.gif"); */
	background-color: #000000;
	background-repeat: repeat-x;
	border: 1px solid #ff0000;
}
li.menu {
	display: inline;
	line-height: 180%;
}
a.menu {
	color: #ffffff;
	background-color: #000000;
	background-image: url("menu_blue.gif");
	/* background-color: #ddffff; */
	background-repeat: repeat-x;
	font-family: serif;
	text-decoration: underline;
	padding: 0.2em 0.4em;
	border: 1px solid #7777ff;
	margin: 0;
	white-space: nowrap;
	line-height: 180%;
}
a.menu:visited {
	color: #ffffff;
	background-color: #000000;
	background-image: url("menu_purple.gif");
	border: 1px solid #aa33ff;
}
a.menu:hover {
	color: #ffffff;
	background-color: #444444;
	background-image: url("menu_lightgrey.gif");
}
p.menu {
	display: inline;
	color: #ffffff;
	background-image: url("menu_lightcyan.gif");
	background-color: #444444;
	/* background-color: #ddffff; */
	background-repeat: repeat-x;
	font-family: serif;
	text-decoration: underline;
	padding: 0.2em 0.4em;
	border: 1px solid #009999;
	margin: 0;
	white-space: nowrap;
	line-height: 180%;
}

ul.backforward {
	list-style-type: none;
	text-indent: 0;
	background-color: #ffffff;
}

div.left {
	float: left;
	padding: 0;
	border: 0;
	margin-top: auto;
	margin-bottom: 0.5em;
	margin-left: auto;
	margin-right: 0.5em;
	clear: none;
}
div.leftclearright {
	float: left;
	padding: 0;
	border: 0;
	margin-top: auto;
	margin-bottom: 0.5em;
	margin-left: auto;
	margin-right: 0.5em;
	clear: both;
}
div.right {
	float: right;
	padding: 0;
	border: 0;
	margin-top: auto;
	margin-bottom: 0.5em;
	margin-left: 0.5em;
	margin-right: auto;
	clear: none;
}
div.leftgrey {
	float: left;
	color: #ffffff;
	background-color: #111111;
	padding: 0;
	/* border: 1px solid #ff0000; */
	border: 0;
	margin-top: 4px;
	margin-bottom: 0;
	margin-left: 0;
	margin-right: 0.5em;
	clear: none;
}
div.rightgrey {
	float: right;
	color: #ffffff;
	background-color: #111111;
	padding: 0;
	/* border: 1px solid #ff0000; */
	border: 0;
	margin-top: 4px;
	margin-bottom: 0;
	margin-left: 0.5em;
	margin-right: 0;
	clear: none;
}
a.movie {
	color: #77ffff;
	background-color: #000000;
	background-image: url("menu_blue.gif");
	/* background-color: #ddffff; */
	background-repeat: repeat-x;
	font-family: serif;
	text-decoration: underline;
	padding: 0.2em 0.4em;
	border: 1px solid #7777ff;
	margin: 0;
	white-space: nowrap;
	line-height: 180%;
}
a.movie:visited {
	color: #77ffff;
	background-color: #000000;
	background-image: url("menu_purple.gif");
	border: 1px solid #aa33ff;
}
a.movie:hover {
	color: #77ffff;
	background-color: #444444;
	background-image: url("menu_lightgrey.gif");
}

div.w640 {
	color: #ffffff;
	background-color: #000000;
	width: 644px;
	margin-top: 0;
	margin-bottom: 0;
	margin-left: auto;
	margin-right: auto;
	border: 0;
}

div.warning {
	margin-left: 20%;
	margin-right: 30%;
	width: 50%;
	background: url("warning.gif") #ffff00;
	padding: 12px;
	border: 1px solid #ff0000;
}
div.inside {
	text-align: left;
	margin: 0;
	padding: 6px;
	border: 1px solid #ff0000;
}

div.code {
	color: #ffffff;
	background-color: #006666;
	padding: 0.5em;
	border: 0;
	margin: 0;
}

div.equation {
	text-indent: 6em;
	white-space: nowrap;
	line-height: 180%;
	padding: 0.2em 0.4em;
	border: 0;
	margin: 0;
	clear: none;
}

div.noiframe {
	color: #ffffff;
	background-color: #000000;
	max-width: 400px;
	margin-top: 0;
	margin-bottom: 0;
	margin-left: auto;
	margin-right: auto;
	padding: 2px;
	border: 1px solid #ff0000;
}

p.thin {
	/* text-indent: 2em; */
	line-height: 0;
	padding: 0;
	margin-top: 0em;
	margin-bottom: 0em;
	margin-left: 0;
	margin-right: 0;
	border: 0;
}
p.thick {
	/* text-indent: 2em; */
	padding: 0;
	margin-top: 1em;
	margin-bottom: 1em;
	margin-left: 0;
	margin-right: 0;
	border: 0;
}