span#type 
{
  color: darkblue;
}
span#command 
{
  color: blue;
}
span#modifier 
{
  font-style: bold;
  color: darkgreen;
}
span#cpp 
{
  font-style: italic;
  color: darkblue;
}
span#comment {
  font-style: italic;
  color: darkgreen;
}
span#string {
  color: darkbrown;
  font-style: italic;
}

b.added { 
  color: darkgreen;
}
b.removed {  
  color: darkred;
}


body 
{
	font:12px/1.2 Verdana, Arial, Helvetica, sans-serif;
	font-family: Arial, Helvetica, sans-serif;
	background: #ddd;
	padding: 0px;
	margin: 0px;
}

div#content 
{
	margin-right:10px;
	margin-left:10px;
	margin-top:10px;
	padding-bottom:10px;
	background:#fff;
	border:1px solid #000;
	text-align:left;
}

h2 
{ 
  background: #eee;
}

div.boxtitle 
{
	font-size:  16px;
	margin-left:-5px;
	margin-right:120px;
	margin-top:-26px;
	padding-left:5px;
	padding-right:5px;
	padding-top:2px;
	background-color: white;
	border: 1px solid black;
	display: block;
}

div.form 
{
	border:1px solid #000;
	background:#ddd;
	color:#000;
        clear:right;
        width:210px;
	margin-top:20px;
	padding:10px;
        margin-right:-5px;
        float:right;
	margin-bottom:20px;
	text-align:left;
	font-size:10px;
}


h1,h2,h3,h4 
{
	margin-top:0px;
	margin-bottom:10px;
        font-weight: bold;
        padding:0px 0px 0px 5px;
}

h2 
{
	font-size:20px;
	padding-top:0px;
	margin-bottom:0px;
}

#title h1 
{
	font-size:20px;
	padding-right:10px;
	padding-top:5px;
	padding-bottom:5px;
}

a:link    { text-decoration:none; font-weight:bold; color:#029; }
a:visited { text-decoration:none; font-weight:bold; color:#029; }

a:link:hover,a:visited:hover 
{
	text-decoration:underline;
	font-weight:bold;
	color:#03f;
}

.links 
{
	margin-left:50px;
	margin-right:30px;
}

td { 
	font-size:12px;
}
#layouts 
{
	font-size:10px;
	margin-left:10px;
}

a.dim 
{ 
  color: darkgrey;
  font-size: 60%;
}