/* $Id$
 *
 * HTML style sheet for Unix Survival Guide
 */

body {
     font-family: helvetica, arial, sans-serif, sans;
     font-size: 10pt;
     margin-left: 10%;
     margin-right: 10%;
     text-align: justify;
}

table {
      margin: 0;
      width: 100%;
      border: 1px solid #dfdfdf;
      border-collapse: collapse;
}

th {
   margin: 0;
   padding-left: 1pt;
   background: #e3e3e3;
   border: 1px solid #dfdfdf;
}

tr {
   margin: 0;
}

td {
   margin: 0;
   padding-left: 1pt;
   border: 1px solid #dfdfdf;
}

a:hover {
	background: blue;
	color: white;
}

p.releaseinfo {
	  font-family: monospace;
}

div.legalnotice {
		font-variant: small-caps;
}

p.copyright {
	    font-style: italic;
}

i.firstterm {
	    font-style: italic;
	    text-decoration: underline;
}

pre.screen {
	   background-color: #e3e3e3;
	   color: black;
	   padding-top: 2pt;
	   padding-bottom: 2pt;
	   padding-left: 2pt;
	   
	   font-family: monospace;
	   border: 0;
	   white-space: pre-line;
}

dt span.term {
   font-weight: bold;
}

div.example {
	    border-top: 1px solid black;
	    border-right: 4px solid black;
	    border-left: 1px solid black;
	    border-bottom: 4px solid black;
	    padding-left: 1ex;
	    padding-right: 1ex;
}

div.warning {
	    border-left: 7px solid red;
	    padding-left: 3pt;
}

div.note {
	    border-left: 7px solid black;
	    padding-left: 3pt;
}

span.command {
	     font-family: monospace;
}

div.navheader table {
	      margin: 0;
	      padding: 0;
	      border: 0;
}

div.navheader table th {
	      color: black;
	      background: white;
	      margin: 0;
	      padding: 0;
	      border: 0;
}

div.navheader table tr {
	      margin: 0;
	      padding: 0;
	      border: 0;
}

div.navheader table tr td {
	      margin: 0;
	      padding: 0;
	      border: 0;
}

div.navfooter table {
	      margin: 0;
	      padding: 0;
	      border: 0;
}

div.navfooter table th {
	      color: black;
	      background: white;
	      margin: 0;
	      padding: 0;
	      border: 0;
}

div.navfooter table tr {
	      margin: 0;
	      padding: 0;
	      border: 0;
}

div.navfooter table tr td {
	      margin: 0;
	      padding: 0;
	      border: 0;
}