/*
 * Style sheet for the HTML 4.0 specification
 */

body.def {
	 background-color: cyan;
	}
div.toc {
	padding: 1em;
	border: solid thin;
	margin: 1em 0;
	background: #ddd;
	}
pre.my {
	padding: 1em;
	color: steelblue;
	background: #ddd;
	}
h1      {
	color: steelblue;
	font: italic 170% sans-serif bold;
	text-align: center;
	}
h2      {
	color: steelblue;
	font: italic 140% sans-serif;
	text-align: left;
	}
A:link    { color: blue }    /* unvisited links */
A:visited { color: palevioletred }   /* visited links   */
A:hover   { background: lightsteelblue } /* user hovers     */
A:active  { color: lime }   /* active links    */
ul, p, br {
	color: #676767; 
	background-color: transparent; 
	font-family: "arial", "helvetica", "sans-serif"
	}
code.my {
	color: black;
	background: #ddd;
	}
p.tiny
	{color: black;
	font-size: 8pt;
	}
var.file  {
	color: black;
	background-color: #ddd;
	}
var.txt  {
	color: black;
	background-color: white;
	font-family: "Courier New", "Courier";
	}
i	{
	color: #676767;
	}