/* 
 * common styles for Marvin's Playpen -- screen version
 */
 
body {margin: 0px; color: black; background: white;}

body, p, td, th {font-family: Arial, Helvetica, sans-serif;}
body, p, td, th { 
  font-size: small; 
  voice-family: "\"}\""; 
  voice-family:inherit;
  font-size: medium;
} 	
			
h1 {font-weight: bold; font-size: 200%; padding-top: 0px; margin-top: 0px; }
h3 {font-weight: bold; font-size: 110%; padding-bottom: 0px; margin-bottom: 0px; }
 
a:link {color: #990000;}
a:visited {color: #990099;}

.revdate {
	font-weight: normal;
	font-size: 0.83em;
	}
.extern { list-style-type: circle; }
.intern { list-style-type: disc; }

table {margin: 0;}
table td {
	padding: 0;
	vertical-align: top; 
	}
 
/* note if nesting tables, use un-classed TDs for nests, then 
	specify either class=infod or class=infom on final cell
	that actually prints stuff.  this avoids successive application
	of percentage-based font size specification
*/ 
table.info {
	width: auto;
	margin-left: 10px;
	margin-top: 4px;
	border-bottom-width: 2px;
	border-bottom-color: #367d36;
	border-bottom-style: solid;
	padding-bottom: 2px;
	}

th.infoh {  
	background: #367d36;
	padding: 1px 2px 1px 2px;
	font-size: 0.9em;
	font-weight: bold; 
	font-style: italic;
	color: white; 
	} 
td.infod {
	font-size: 0.75em;
	padding: 1px 2px 1px 2px;
	} 
td.infom {
	font-size: 0.75em;
	padding: 1px 2px 1px 2px;
	font-family: courier, monospace;
	} 	 
.even { background: #bcd3bc; }
.odd { background: white; }  

td#logo { }
td#leftbutton { 
	width: 130px; 
	font-size: 66%;
	text-align: right;
	padding-right: 10px;
	}
td#content { 
	font-style: italic;
	text-align: left;
	/* this is ugly, but helps IE when content text is narrow */
	width: 80%;
	}

.codeblock {
	margin-left: 10px;
	margin-right: 15px;
	margin-top: 5px;
	margin-bottom: 5px;
	background: #bcd3bc;
	padding: 4px 8px 4px 8px;
	font-family: "courier new", courier, monospace;
	}
.highlightblock {
	margin-left: 10px;
	margin-right: 15px;
	margin-top: 5px;
	margin-bottom: 5px;
	background: #bcd3bc;
	padding: 4px 8px 4px 8px;
	}
	
table#buttonbar {
 margin-bottom: 20px;
}
table#buttonbar td {
	font-weight: bold;
	font-style: italic;
	font-size: 20px;
	text-align: right;
	height: 33px;
	width: 130px;
	margin: 0px;
	padding: 0px;
	background: url(buttons/b_blank.png) no-repeat;
	font-family: "Comic Sans MS", Arial, Helvetica, sans-serif;
}
table#buttonbar td a {
	text-decoration: none;
	padding-right: 10px;
	display: block;
}
table#buttonbar td a:link, table#buttonbar td a:visited  {
	color: #367d36;
	display: block;
}	
table#buttonbar td a:hover {
	color: #6cb46c;
	display: block;
}