div.top {
	font-family: monospace;
	font-weight: bold;
	font-size: 24px;
	line-height:17px;
	text-align:right;
	color:#ff0000;
}

div.license {
	font-size: 80%;
	line-height:110%;
}

body {
	font-family: verdana;
	font-size: 12px;
	line-height:140%;
	width:auto;
}

h1 {
	font-family: tahoma;
	line-height:110%;
}
h2 {
	font-family: tahoma;
	line-height:110%;
}
h3 {
	font-family: tahoma;
	line-height:110%;
	font-size:18px;
}
h4 {font-family: tahoma; font-size:16px;}
h5 {font-family: tahoma; font-size:14px;}
h6 {font-family: tahoma; font-size:12px;}

a:link {color: #036; text-decoration: underline; }
a:visited {color: #012; text-decoration: underline; }
a:hover {color: #888; }

li {list-style-type: square;}

p {font-family: verdana; font-size: 12px;}

table {border-collapse: collapse;}
td {padding:3px;}

ul.bib2xhtml li { padding-bottom: 0.6em }