h1 {font-family: Verdana, Arial, Helvetica, sans-serif;
          color: #00B000}

h1.sect1 {font-family: Verdana, Arial, Helvetica, sans-serif;
          color: #009900}

h2 {font-family: Verdana, Arial, Helvetica, sans-serif;
             color: green}

h3 {font-family: Verdana, Arial, Helvetica, sans-serif;
             color: #006600}

code.filename, code.option {color: #660099;
	     font-size: 110%;
	     font-weight: bold;}

code.sgmltag, code.envar {color: #009966;
	     font-size: 110%;
	     font-weight: bold;}

b.command {color: #990000;}

div.variablelist dt {color: #990000;
                     font-weight: bold;}

table th {color: #990000;
                     font-weight: bold;}

div.warning, div.warning h3.title {color: red;}

pre.screen, pre.programlisting {
        background-color: #E0E0E0; }

span.guimenu, span.guimenuitem, span.guisubmenu {
	font-family: sans-serif;
}

/* give keycaps a '3D' shaded look */
strong.keycap, b.KEYCAP {
	padding-left: .2em;
	padding-right: .2em;
	border-style: solid;
	border-top-width: 2px;
	border-left-width: 3px;
	border-right-width: 3px;
	border-bottom-width: 4px;
	border-top-color: #eeeecc;
	border-left-color: #eeeecc;
	border-right-color: #999977;
	border-bottom-color: #999977;
	background-color: #ddddbb;
	/* All these borders may interfere with text on the line bellow.  Make
	   the text a little smaller to try and 'pull up' the bottom edge, */
	font-size: smaller;
}

