a
{
	color: #2000a0;
	background-color: transparent;
	text-decoration: none;
	font-weight: bold;	
}

a img
{
	border: none;
}

body
{
	color: black;
	background-color: white;
	font-family: serif;
}

h1, h2, h3, h4, h5, h6
{
	font-family: sans-serif;
}

code
{
	font-family: monospace;
}

div.header
{
	margin: 2em 0px 1em;
}

div.header h1
{
	text-align: center;
	font-size: 110%;
	margin: 0px;
	padding: 0px;
}

div.header h2
{
	text-align: center;
	font-size: 180%;
	margin: 0px;
	padding: 0px;
}

div.menu,
div.content,
div.footer
{
	max-width: 80ex;
	margin-left: auto;
	margin-right: auto;
}

div.content p,
div.content li
{
	text-align: justify;
}

div.menu
{
	color: black;
	background-color: #f0f0ff;
	padding: 1ex;
	margin-bottom: 3ex;
	border-color: #2000a0;
	border-style: solid;
	border-width: 1px;
}


div.menu div.btn
{
	display: inline;
	margin-right: 3ex;
}

div.remote
{
	font-size: smaller;
	clear: left;
}

div.footer
{
	background-color: #f0f0ff;
	border-width: 1px;
	border-style: solid;
	border-color: #f0e0ff;
	border-top-color: black;
	margin-top: 1ex;
	margin-bottom: 0px;
	padding: 0px;
}

div.signature
{
	font-size: 80%;
	margin: 0px;
	padding: 1ex;
	float: left;
}

div.w3c
{
	font-size: 80%;
	margin: 0px;
	padding: 1ex;
	text-align: right;
	float: right;
}

div.clearer
{
	clear: both;
}

div.signature span.hidden
{
	display: none;
}

div.signature span.ipaddr
{
	font-family: monospace;
}

div.code
{
	font-family: monospace;
	padding: 1ex;
	background-color: #f2f2f2;
}
