body{	margin: 0;
	max-width: 100em; }
img{	border-width: 0; }
a, a:link{ color: #0000cc; }
a:visited{ color:#000080; }
a:hover, a:active{ color:#cc0000; }
.extlink { padding-right: 13px; overflow: visible;
	background: transparent url(/img/extlink.png) center right no-repeat; }
hr{     color: black; background-color: black; height: 0px;
	border-top: 1px solid black; border-bottom: 0; }
code{	white-space: nowrap; }
h1{	margin-top: 0; }
li{	margin-bottom: 0.3em; }
.lihead{ font-style: italic; }
.pad{	padding: 0.5em; }
#hdr{	margin: 0;
	padding-top: 0.5em;
	border-bottom: 1px solid black;
	background-color: #ccccee; }
#hdrt{	font-weight: bold; }
#nav{	float: left;
	margin-left: -100%;
	width: 7em;
	background-color: #eeeeff;
	font-size: smaller;
	line-height: 1.7em; }
#nav a{	text-decoration: none; 
	font-family: verdana, arial, helvetica, sans-serif;
	font-weight: bold; }
#langpick{ float: right; }
.flag{	margin-right: 4px; width: 16px; height: 11px; }
#wrap{	float: left; width: 100%; background-color: #eeeeff;
	min-height: 15em; }
#main{	margin-left: 7em; border-left: 1px solid black;
	min-height: 20em;
	background-color: white; }
.bibtable th{ text-align: right; vertical-align: top; font-weight: bold; }
.abstract{ font-style: italic; }
.usagetable th{ text-align: left; vertical-align: top;
	padding: 0 2ex; font-weight: bold; }
.usagesyntax{ font-weight: bold; }
.download table{ margin-bottom: 1ex;
	border-collapse: collapse; border-bottom: 1px solid black;
	font-family: monospace;	white-space: nowrap; }
.download img{ width: 20px; height: 22px; }
.download td{ padding-right: 1.3em; vertical-align: bottom; }
td.dlico{ padding-right: 1ex; }
td.dlsiz{ text-align: right; }
.hr td{	padding-bottom: 1ex;
	border-bottom: 1px solid black; }
.row1 td{ padding-top: 1ex; }
.shwrap{ margin: 1em; width: 78ex; max-width: 80ex;
	border: 1px solid #8080cc; overflow: auto; }
.sh{	margin: 0; padding: 0.5em; }
.shdl{	float: right; margin-right: 0.2em;
	font-size: smaller; }
.shwrap img{ display: block;
	margin-bottom: 0.5em;
	margin-left: auto;
	margin-right: auto;
	border-width: 0; }
.sshot{ margin: 1em; display: block; clear: both; }
#foot{	clear: both; border-top: 1px solid black;
	background-color: #ccccee; font-size: smaller; }
#foot img{ float: left; margin-right: 4px; margin-bottom: 0.5em;
	width: 88px; height: 31px; }
.clear{	clear: both; }