body { margin-left: 3em; }

h2.title { margin-left: -1em;
     		font-family: serif;
	 		font-size: 16pt;
	}

h3.title { font-family: serif;
	 		font-size: 14pt;
		}

h4.title { font-family: serif;
	 		font-size: 12pt;
		}

pre.programlisting {
	font-family: monospace;
    width: 45em;
    padding-left: 1em;
    padding-top: 0.5em;
    padding-bottom: 0.5em;
	background-color: #eae8e9;
}

div.navheader { font-size: 10pt;
				margin-left: -2em;
			  }

div.navheader table tr td { font-size: 10pt; }
				
div.navfooter { font-size: 10pt;
				margin-left: -2em;
			  }
div.navfooter table tr td { font-size: 10pt; }

span.emphasis { font-style: italic;}

div.appendix div.informaltable { font-size: 9pt; }
div.appendix div.informaltable td  { vertical-align: top; }
div.appendix div.informaltable p  { margin-top: .25em; }
div.appendix div.informaltable p  { margin-bottom: .25em; }

div.libver p {
                font-size: 8pt;
                width: 30%;
                margin-left: 2px;
                margin-right: 2px;
                padding-top: 3px;
                padding-bottom: 3px;
           }