BODY{
background-color : #000000;
color: rgb(164, 196, 256);
margin-left:8
margin-top:8
margin-right:8
margin-bottom:8

}
.cursor{
	cursor: hand
}

p.deep{
border-style: solid;
border-width:1px;
border-right-color:rgb(164, 196, 256);
border-bottom-color:rgb(164, 196, 256);
border-left-color:rgb(62, 81, 101);
border-top-color:rgb(62, 81, 101);
margin: 3px;
}



table.dark{
background-color : rgb(124, 163, 202);
color:#000000;
border-style: solid;
border-width:1px;
border-right-color:rgb(164, 196, 256);
border-bottom-color:rgb(164, 196, 256);
border-left-color:rgb(62, 81, 101);
border-top-color:rgb(62, 81, 101);
margin: 3px;
}
.topmenu {
	font-family: "Courier New", Courier, mono;
	font-size: 16px;
	font-weight: bolder;
}