/* FreeBSD stylesheet */
body.def {
	background-color: white ;
	background-image: url("../pics/freebsd.png");
	background-position: center left;
	background-repeat: no-repeat;
	background-attachment: fixed;
	}
h1      {
	color: rgb(160,0,0);			/* a red */
	background-color: rgb(255,255,255) ;	/* white */
	font: italic 170% "Gill Sans";
	font-family: "Gill Sans", sans-serif;
	text-align: center;
	}
h2      {
	color: rgb(160,0,0);			/* steelblue */
	background-color: rgb(255,255,255) ;	/* white */
	font: italic 140% sans-serif;
	font-family: "Bitstream Vera Sans", sans-serif;
	margin-left: 8em;
	margin-right: auto;
	}

A:link    { color: rgb(0,0,128) }		/* navy */
A:visited { color: rgb(219,112,147) }		/* palevioletred */
A:hover   { background-color: rgb(176,196,222);
            color: rgb(0,0,128) }   		/* lightsteelblue */
A:active  { color: rgb(255,250,205) }		/* lemon chiffon */

div.mybody 
	{
	color: rgb(69,69,69); 			/* gray27 */
	background-color: white ;
	font-family: "Bitstream Vera Sans", sans-serif;
	margin-left: 10em;
	margin-right: 12em;
	}
div.terminal 
	{
	padding: 2em;
	border: solid thin;
	border-color: rgb(80,80,80);
	margin-left: 10em;
	margin-right: 12em;
	background: rgb(160,160,160);			/* grey */
	color: rgb(0,0,0); 				/* black */
	font-family: monospace;
	}
div.note 
	{
	padding: 2ex;
	border: solid;
	border-width: 1px;
	border-color: rgb(192,192,192);
	margin-left: 10em;
	margin-right: 12em;
	background: rgb(240,240,240);			/* grey */
	color: rgb(0,0,0); 				/* black */
	font-family: normal;
	}
var.freebsd
	{
	color: rgb(160,0,0);
	font-style: italic;
	}
var.file 
	{
	color: black;
	font-style: italic;
	}
var.txt 
	{
	color: black;
	background-color: white ;
	font-family: monospace;
	}
var.bold
	{
	font-size: 110%;
	font-style: normal;
	font-weight: bold;
	}
p.tiny
	{
	color: rgb(160,160,160);
	font-size: 60%;
	}
li 
	{
	list-style: url("../pics/arrow.png");
	}
table.footer 
	{
	width: 70%;
	border-style: none;
	}
td.footer
	{
	text-align: right;
	}
code.my 
	{
	color: rgb(0,0,0);
	background: rgb(160,160,160);
	font-family: monospace;
	}
div.iframe 
	{
	margin-left: 10em;
	margin-right: 12em;
	}