body	{
	font-family:arial,sans-serif;
	color: #000000;
	font-size:small;
}

a:visited { color: #80080; }

#main p {
	text-align: justify;
	line-height: 140%;
	font-size: 105%;
	margin-left: 2em;
}

#main h3 {
	padding-top:26px;
	font-size:110%;
	margin-left:1em;
}

#main li {
	font-size:105%;
	line-height:140%;
}

p	{
	color: #000000;
	max-width:805px;
}
.tex	{
	font-family:monospace;
}

var	{
	color:maroon
}

pre	{
	font-size: small;
	padding: 10px;
	border: dotted lightgray 1px;
	background-color:lightyellow;
	width: auto;
	max-width:90%;
	margin-left:2%;
	margin-right:5px;
	font-family:monospace;
}

pre.exp	{
	max-width:100px;
	background-color:white;
	width:auto;
	border:none;
	padding:2px;
	margin:0px 0px 0px 0px;
}

.up	{
	vertical-align: super;
	font-size: x-small;
}

.input	{
	color:maroon;
	font-weight:bold
}

.pa	{
	font-weight: bold
}

.und	{
	text-decoration: underline
}

.cmt	{
	font-style: oblique
}

.ftr	{
	font-size:small;
	font-style:italic;
}

.bi	{
	font-style:italic;
	font-weight: bold;
	font-size:small;
}

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

.ch	{
	font-weight:bold;
	color:#080;
}

hr.space{ margin-top:30px; }

li.no	{ list-style-type: none }

#header {
	position: relative;
	width: 99%;
	height: auto;
	right: 0;
	left: 1.0%;
}

#main {
	position:relative;
	width: 97%;
	max-width: 805px;
	height: auto;
	left: 3%;
	border-left: 2px dotted green;
	padding-left: 1%;
}

#footer {
	position: relative;
	width: 97%;
	max-width:805px;
	height: auto;
	left: 3.5%;
	border-top: thin solid black;
	margin-bottom:10px;
	font-size: small;
	font-style: italic;
}

.ftrt	{
	position: absolute;
	right:0;
	font-style:italic;
}

h1	{
	font-size:140%;
}

h2	{
	margin-top: 40px;
	padding-left:12px;
	font-size:120%;
	background-color:green;
	color:#ffffff;
}

h3	{
	padding-top:26px;
	font-size:110%;
}

table	{
	border: dotted lightgray 1px;
	width: auto;
	max-width:90%;
	margin-left:2%;
}

th.ttl {
	color: #fff;
	text-align: center;
	height: 16px;
	border: 0px;
	font-weight: bold;
	font-size: small;
	background-color: #56ac54;
	padding-left: 5px;
}

#bin td.ttl, #cnt td.ttl, #cls td.ttl, #mask td.ttl, #hst td.ttl, #nets td.ttl {
	color: #000;
	text-align: right;
	height: 16px;
	border: 0px;
	font-weight: bold;
	font-size: small;
	background-color: #ffffdd;
}

#bin td, #cnt td, #cls td, #mask td, #hst td, #nets td, #cidrsm td, #cidrh td, #res td {
	border-left: 1px solid #d9d9d9;
	padding-left: 8px;
	padding-right: 8px;
}

img {
	border: none;
}

#cc     {
        width: 97%;
        max-width: 805px;
        text-align: center;
        font-size: x-small;
}
.topic	{
	font-size:115%;
	font-weight:bold;
}