@font-face {
    font-family: "ubuntu mono";
    src: local('Ubuntu Mono'), url('../fonts/ubuntu-mono.woff') format('woff');
}
/*
html, body {
	height: 100%;
}
body {
    font-family: "ubuntu mono", verdana, arial, sans-serif;
    font-size: 12pt;
}
*/
.title {
	font-style: italic;
}
li {
	margin-bottom: 8px;
}
ul {
/*	list-style-type: square; */
}
td {
	vertical-align: top;
	padding-left: 20px;
}
a:visited, a:link {
	text-decoration: none;
	color: #666;
}
a:hover, a:active {
	text-decoration: none;
	color: #222;
}
#pubs {
/*    width: 1100px;*/
}