body
{
	background-color: #888;
	font-family: Times, serif;
	margin: 0;
}
div.page
{
	margin:10 auto;
	width:900px;
	background-color: white;
	padding: 20px;
}
hr
{
	color: #555;
	margin-top: 5; height: 1px;
}
h1,h4,h5
{
	font-family: "Trebuchet MS", Arial, Helvetica, sans-serif;
	margin: 0;
	color: #555;
}
h1
{
	margin: -5 -5 15;
	padding: 6 6 6 8;
	font-weight: bold;
	border: 1px solid #ccc;
	background-color: #efefef;
}
h4
{
	margin-top: 10;
}
ul.authors a
{
	color: black;
	padding-right: 25px;
	background: url(res/home.png) no-repeat right center;
}
ul.authors a:hover
{
	text-decoration: underline;
	color: #305077;
}
a.pdf
{
	color: black;
	padding-left: 25px;
	background: url(res/pdf.png) no-repeat left center;
}
a.html
{
	color: black;
	padding-left: 25px;
	background: url(res/html.png) no-repeat left center;
}
li.download a
{
	font-family: Calibri,Arial,sans-serif;
	color: #305077;
}
div.code a
{
	padding-left: 25px;
	background: url(res/file.png) no-repeat left center;
}
div.sounds a
{
	color: black;
	padding-right: 25px;
	background: url(res/file.png) no-repeat right center;
}
div.publication
{
	margin-bottom: 20;
}
div.abstract p
{
	font-family: Times, serif;
	margin-top: 5;
	text-align: justify;
}
table
{
	border-collapse: collapse;
	margin-bottom: 10;
}
td
{
	border: 1px solid #ccc;
	padding: 2px 7px 2px 7px;
	margin: 0;
}
th
{
	font-family: "Trebuchet MS", Arial, Helvetica, sans-serif;
	font-size: 75%;
	font-weight: bold;
	border: 1px solid #ccc;
	background-color: #555;
	color: white;
}
ul
{
	margin-top: 5px;
	padding-left: 0;
	list-style: none;
}
ol
{
	padding: 0;
	margin-left: 20;
	margin-top: 5px;
}
ul.publication
{
	margin-top: 5px;
	padding-left: 0;
	font-family: Times, serif;
}
a { text-decoration: none; }
a:hover { font-weight: bold; }
p
{
	margin-top: 5;
	text-align: justify;
}
.superscript{font-size:xx-small; vertical-align:top;} 
.subscript{font-size:xx-small; vertical-align:bottom;} 
