body {
color: rgb(0, 0, 51); 
background-color: rgb(153, 153, 153);
}

a:link{
color: #004595;
background-color:transparent; 
}

a:visited{
color: #000066; 
background-color:transparent; 
}

a:hover{
color: #0339ff; 
background-color: transparent; 
}

.header {
height:79px;
border: 2px solid;
border-color: #cccccc #223333 black #223333;
background-color: rgb( 40, 86, 138); 
/* background-color: rgb(153, 153, 153); */
background: url(bg2.png) top;
}
.parentframe {
width: 100%;

}
.innerborder2 {
height:75px;
border:2px solid; 
border-color: gray;

}


.innerborder {
border:2px solid; 
border-color: gray;

}

.rightframe {
float: right;
width: 23%;
display: block;
}

.leftframe {
float: left;
border: 2px solid; 
border-color: #cccccc #223333 black #223333;
width: 76%; 
display: block;
background-color: rgb( 93, 93, 133); 

}

.logo {
position: relative; top: 10px;
}

/* Linkboxes */
.linkfloat {
background-color: #AAAAAA; 
border: 2px solid; 
border-color: #cccccc #223333 black #223333;
text-align: left;
}

/* For dark backgrounds */
.heading_dark {
position:relative; bottom: 10px;
color: rgb( 200, 200, 250 );
font-variant: small-caps;
font-weight: bold;
text-align: center;

}

/* For light backgrounds */
.heading_light {
position:relative; bottom: 10px;
font-variant: small-caps;
font-weight: bold;
text-align: center;
}

/* A border line and color enforcement */
.lowerbody { 
border-top: 1px solid;
border-color: gray;
text-align: left;
color: black;
}

 .svn { 
background-color: #DDDDDD;
color: rgb(0, 0, 51); 
border: 2px solid;
border-color: gray;
}

UL {
list-style-type: square;
}

/* Margin for code text */
.options { 
margin-left: 120px;
}

/* Place mouse bindings on right edge */
.coderight {
display: inline; 
float:right; 
margin-right: 20px;
}

/* used all over */
.marg{
margin-right: 10px;
margin-left:10px;
margin-top: 5px;
margin-bottom: 2px;
}

/* Top border background image */
.topcenter {

text-align: center;

}

/* Newest Release */
.latest { 
background-color: #DDDDDD;
width:320px;
border: 2px solid;
border-color: gray;
color: rgb(0, 0, 51); 
}

/* Old releases */
.past {
background-color: #AAAAAA;
width:320px;
border: 2px solid;
border-color: gray;
color: rgb(0, 0, 51); 
}

/* bottom background border */

.roundbottom {
	background: no-repeat top right ; 
}


img.corner {
   width: 20px;
   height: 20px;
   border: none;
   display: block !important;
}