h1,h2 {
    color: #0000ab;
    font-family: sans-serif;
}

body{
	text-align: justify;
	font-size: large;
	color: #444444;
}

a.discrete {
    color: #0000ab;
    font-family: sans-serif;
    text-decoration: none;
}

a:link
{
	color: #0000ff;
	text-decoration: underlined;
}

a:visited
{
	color: #0000ff;
	text-decoration: underlined;
}

a:hover, a:active
{
	color: #f60;
	text-decoration: underlined;
}

p {
    font-size: 100%;
    font-family: sans-serif;
}

p.caption {
    font-size: 75%;
    font-family: sans-serif;
    padding-left: 1em;
    padding-right: 1em;
    padding-bottom: 1em;
    text-align: center;
}

h1 {
    text-align: center;
}

div.conference {
    padding: 0.5em;
}

div.authors {
    text-align: center;
    padding-bottom: 1em;
}

div.institutions {
    text-align: center;
    padding-bottom: 1em;
}

body{
    width: 720px;
    margin-left: auto;
    margin-right: auto;
}

div.teaser {
    padding-top: 1.5em;
    padding-bottom: 1em;
    margin-left: auto;
    margin-right: auto;
    vertical-align: middle;
    text-align: justify;
    width: 720px;
}

div.illustration {
    width: 90%;
    margin-left: auto;
    margin-right: auto;
    text-align: center;
}

pre {
    font-size: 95%;
    padding-left: 1em;
    padding-right: 1em;
    padding-bottom: 1em;
    padding-top: 0em;
}

div.header {
    background: rgb(206, 223, 242);
    border: 1px solid rgb(163, 176, 191);
    padding: 0.2em 0.4em;
    margin: 3px;
}

table.results {
    text-align: center;
    margin-left:auto;
    margin-right:auto;
}

div.title{
    text-align: left;
    color: #0000ab;
    font-family: sans-serif;
	font-size: 20px;
    padding-left: 1em;
    padding-right: 1em;
    padding-bottom: 0.5em;
    padding-top: 0.5em;
}

div{
    text-align: center;
    padding-left: 0;
    padding-right: 0;
    padding-bottom: 0.5em;
    padding-top: 0.5em;
	margin: 0;
}