/* worms.css */

a {
	text-decoration:none;
	color:#000000;
	background-color:#e0e0ff;
}
a:hover {
	text-decoration:underline;
	color:#000000;
	background-color:#e0e0ff;
}
a:active {
	text-decoration:underline;
	font-style:italic;
	color:#000000;
	background-color:#e0e0ff;
}
a:visited {
	text-decoration:none;
	color:#000000;
	background-color:#e0e0e0;
}

div.frontpage {
	text-align:center;
	font-size:150%;
	line-height:150%;
}

div.frontpage em {
	font-style:normal;
	font-weight:bold;
}

div.toc ol {
	font-weight:bold;
}

div.nav {
	padding-top:1em;
	text-align:center;
	letter-spacing:150%;
	font-weight:bold;
}

span.keyword {
	font-weight:bold;
	font-style:italic;
}

div.note {
	font-size:80%;
	margin-left:3em;
	margin-right:3em;
	padding-left:1em;
	padding-right:1em;
	border-style:solid;
	border-width:1px;
}

span.formula {
	display:block;
	font-weight:bold;
	padding:0.5em;
	padding-left:3em;
}

div.formula sub,super {
	font-size:60%;
}

.input {
	font-family:monospace;
	font-weight:bold;
}
div.input {
	margin-left:1em;
	margin-right:3em;
	margin-top:0.5em;
	margin-bottom:0.5em;
	background-color:#eeeeee;
}

span.input {
}

.output {
	font-family:monospace;
	font-weight:bold;
}

div.output {
	margin-left:1em;
	margin-right:3em;
	margin-top:0.5em;
	margin-bottom:0.5em;
	white-space:pre;
	background-color:#eeeeee;
}

.quote {
	font-style:italic;
}

img.float-left-small {
	border:none;
	float:left;
	padding:0.5em;
	height:10em;
}

img.float-right-small {
	border:none;
	float:right;
	padding:0.5em;
	height:10em;
}