body{
	background-color: #dfdfdf;
	color: black;
	font-family: Verdana, sans-serif;
	font-size: 10px;
	line-height: 14px;
}

a{
	color: #333333;
	background-color: transparent;
}

a:active {
	color: #172739;
	background-color: transparent;
}

img {
  border: 0;
}

p {
  text-indent: 25px;
  text-align: justify;
  padding: 0px;
  margin: 0px;
}

.hsec, .hsubsec{
	padding-top: 15px;
}

#atab{
	border: 1px solid black;
	border-collapse: collapse;
}

#atab td{
	border: 1px solid black;
	border-collapse: collapse;
	padding: 0 5px;
}

#bordtable{
	padding: 6px;
	margin: 6px;
	border: 1px solid black;
	background-color: #efefef;
	color: black;
}

#rammer{
	background-color: #cfcfcf;
	border: 1px solid black;
}

#header{
	border-bottom: 1px solid black;
	border-collapse: collapse;
	background-color: #cfcfcf;
	color: black;
	font-size: 30px;
	font-weight: bolder;
	text-align: center;
}

#footinfo{
	background-color: silver;
	border-top: 1px solid black;
	padding-left: 10px;
	padding-right: 10px;
	text-align: center;
}

#footer{
	border-top: 1px solid black;
	text-align: right;
	padding-right: 10px;
	background-color: #dfdfdf;
}

#menucol{
	width: 160px;
	float: left;
	margin: 0px;
}

#contcol{
	margin-left: 160px;
	padding: 10px;
	border-left: 1px solid black;
	background-color: #dfdfdf;
	color: black;
	min-height:1150px;
}

/* for Internet Explorer */
/*\*/
* html #contcol {
height:1150px;
}
/**/

.pred, .predl{	
	font-weight: bold;
	letter-spacing: 0pt;
	font-family: "arial black";
	margin-left: 10px;
}

.pred{
	margin-left: 250px;
	margin-right: 210px;
	font-size: 7px;
	line-height: 7px;
}

.predl{
	float: left;
	text-align: left;
	font-size: 8px;
	line-height: 10px; 
}

.predr{
	float: right;
	text-align: left;
	font-size: 6px;
	line-height: 6px; 
	margin-right: 10px;
}

a.prelink{
	text-decoration: none;
	color: #333333;
}

.prek{
	margin: 5px;
}

.outer, .houter{
	border: 1px solid black;
	border-collapse: collapse;
	padding-top: 0px;
	display: block;
}

.outer{
	margin-bottom: 15px;
}

.houter{
	margin-bottom: 30px;
}


A.butmenulink, .lse {
	color: #333333;
	background-color : #DFDFDF;
	text-decoration: none;
	display : block;
	padding: 4px;
	border-top: 1px solid black;
	border-right: 1px solid black;
	border-left: 1px solid black;
	padding: 4px;
	margin-left: 10px;
	margin-right: 10px;
}
A.butmenulink:hover {
	color:#F0E1FF;
	background-color: #808080;
	text-decoration: none; 
}


.menutop, .menubot{
	border-top: 1px solid black;
	border-right: 1px solid black;
	border-left: 1px solid black;
	background-color: silver;
	text-align : center;
	padding: 3px;
	margin-left: 10px;
	margin-right: 10px;
}

.counterz{
	margin-left: 10px;
	margin-right: 10px;
	border-top: 1px solid black;
	border-right: 1px solid black;
	border-left: 1px solid black;
}

.menutop{
	margin-top: 10px;
}

.menubut{
	background-color: rgb(223, 223, 223);
	border-top: 1px solid black;
	border-right: 1px solid black;
	border-left: 1px solid black;
	padding: 0px;
	margin-left: 10px;
	margin-right: 10px;
}

.menubot{
	border-bottom: 1px solid black;
	margin-bottom: 15px;
}

.hn, .hd, .hh {
	background-color: silver;
}

.hn{
	border-bottom: 1px solid black;
}

.hh, .ht{
	padding-top: 3px;
	padding-bottom: 3px;
}

.hh{
	text-align : center;
}

.ht {
	width: 190px;
	float: right;
	text-align: right;
	padding-right: 10px;
	border-left: 1px solid black;
	color: #2F4F4F;
	background-color: #D3D3D3;
}

.hd{
	padding: 3px;
	text-align : right;
	border-top: 1px solid black;
	padding-right: 10px;
}

.cont{
	padding: 5px;
	background-color: #efefef;
	color: black;
	text-align: justify;
}

.plink{
	text-align: right;
}

.centered{
	text-align: center;
	padding: 2ex;
	display: block;
}

/* Quotes */
.qbor{
	margin: 15px 10px 2px 10px;;
}

.qoun{
	border-bottom: 1px solid #c0c0ff;
	border-left: 1px solid #c0c0ff;
	padding-left: 10px;
	padding-right: 10px;
}

.qtext{
	padding-left: 10px;
	padding-right: 10px;
	border-right: 1px solid #c0c0ff;
}

.coded{
	background: #F0EEF2;
	border: 1px dotted #000;
	border-left: 2px solid #666;
	border-top: 0;
	color: #465584;
	padding: 4px;
	margin: 0 auto 8px auto;
}

.codedtop{
	background: silver;
	border: 1px dotted #000;
	border-bottom: 0;
	border-left: 2px solid #666;
	color: #333;
	font-weight: bold;
	font-size: 12px;
	margin: 8px auto 0 auto;
	padding: 3px;
}

.googlesearch{
	color: black;
	background-color: #eee;
	background-image: url("../images/google_wm.gif");
	background-repeat: no-repeat;
	background-position: right center;
	width: 125px;
}

.googlesearch:hover {
	background-image: none;
}

.gsbut{
	margin-top: 3px;
	margin-left: 30px;
}

.comment {
  color: gray;
}

.keyword {
  font-weight: bold;
}

.python .string {
  color: blue;
}

.html .atribute .value {
  color: green;
}

.number {
	color: #ccc;
}