/*
	The three colors we use:
	background-color: #550c78;
	background-color: #002193;
	background-color: #4a73ff;

	And two white tones:
	color: #ffffff; 
	color: #ffffff;
*/


/* main parts */

body,div,dl,dt,dd,ul,ol,li,h1,h2,h3,h4,h5,h6,pre,form,fieldset,p,blockquote,th,td {
	margin: 0;
	padding: 0;
}

body {
	font-size: 87.5%;
	line-height: 1.5em;
	margin: auto;
	margin-bottom: 50%;
	max-width: 48em;
	font-family: sans-serif;
	color: #000000; 
	background-color: #002193;
}

html>body {
	font-size: 14px;
}

p {
	margin-top: 1.5em;
}

div.xpara {
	margin-top: 1.5em;
}
div.xpara p {
	margin-top: 0.0em;
}
div.xpara ul {
	padding-top: 0.75em;
	padding-bottom: 0.75em;
	padding-left: 1.0em;
	margin-top: 0em;
	list-style-type: square;
}

pre {
	color: #000000;
	background-color: #dddddd;
}

a {
	color: #002193;
	background-color: #ffffff;
	text-decoration: none;
}
a:hover {
	color: #550c78;
	background-color: #ffffff;
	text-decoration: underline;
}
/*
a:visited {
	color: #550c78;
}
*/

div#topnav {
	padding: 0.75em 0em 0.75em 0em;
	margin: 0;
	text-align: right;
	color: #ffffff; 
	background-color: #002193;
}
div#topnav a {
	color: #ffffff; 
	background-color: #002193;
}
div#topnav a:hover {
	color: #4a73ff; 
	background-color: #002193;
}

div.banner {
	height: 6.0em;
	min-height: 75px;
	width: 100%;
	color: #ffffff; 
	background-color: #4a73ff;
}
div.banner a {
	background-color: #4a73ff;
	color: #ffffff;
	text-decoration: none;
}
div.banner a:hover {
	color: #ffffff;
	text-decoration: underline;
}

div.related {
	margin-top: 1.5em;
	margin-bottom: 1.5em;
}
div.related a {
}

div.main {
	padding: 0.85em 0.8em 1.5em 0.8em;
	margin: 0;
	color: #000000;
	background-color: #ffffff;
}

h1 {
	font-size: 1.05em;
	font-weight: 500;
	line-height: 1.428571em;
	padding-top: 0.2857143em;
	padding-left: 0.4761905em;
	padding-bottom: 0.3333333em;
	color: #ffffff;
	background-color: #002193;
}
h2 {
	font-size: 1.0em;
	font-weight: 500;
	line-height: 1.5em;;
	padding-top: 0.15em;
	padding-left: 0.5em;
	padding-bottom: 0.15em;
	margin-top: 1.5em;
	margin-bottom: -0.3em;
	color: #ffffff;
	background-color: #4a73ff;
}
h3 {
	font-size: 1.05em;
	font-weight: 500;
	line-height: 1.428571em;
	margin-top: 1.428571em;
	color: #000000;
	background-color: #ffffff;
}
h3.blue { /* FIXME */
	font-size: 1.05em;
	font-weight: 600;
	line-height: 1.428571em;
	margin-top: 1.428571em;
	color: #4a73ff;
	background-color: #ffffff;
}
span.blue { /* FIXME */
	color: #4a73ff;
}

div.foot {
	font-size: 0.9em;
	line-height: 1.666667em;
	text-align: right;
	color: #ffffff;
	background-color: #002193;
	font-family: sans-serif;
}
div.foot a.signature {
	color: #ffffff;
	background-color: #002193;
	text-decoration: underline;
	font-style: italic;
}
div.foot a {
	color: #ffffff;
	background-color: #002193;
}
div.foot img {
	background-color: #002193;
}


/* lists */

ul {
	padding-left: 1.0em;
	margin-top: 1.5em;
	list-style-type: square;
}

ul ul {
	padding-left: 2.0em;
	margin-top: 0.0em;
	list-style-type: square;
}

ul.publications {
	padding-left: 1.0em;
	margin-top: 1.5em;
	list-style-type: square;
}

ul.overview {
	padding-left: 0.0em;
	margin-top: 1.5em;
	list-style-type: none;
}

ul.contact {
	padding-left: 0.0em;
	margin-top: 1.5em;
	list-style-type: none;
}

ul.contact_gws { /* FIXME */
	padding-left: 0.0em;
	margin-top: 1.5em;
	list-style-type: none;
}
ul.contact_gws li { /* FIXME */
	margin-top: 0.5em;
}

ol {
	padding-left: 1.4em;
	margin-top: 1.5em;
}


/* semantic inline markup */

strong {
	font-weight: normal;
	font-style: italic;
}
kbd {
	padding-left: .5em;
	padding-right: .5em;
	color: #000000;
	background-color: #dddddd;
}
span.qtitle {
	font-style: italic;
}
ul.publications li span.conference {
	font-style: italic;
}
span.math {
	font-style: italic;
}


/* tables */

table.guests {
        vertical-align: top;
	font-size: 0.9em;
	line-height: 1.666667em;
	border-spacing: 0.0em 1.666667em;
	width: 100%;
}
table.guests td.name {
        vertical-align: top;
	width: 25%;
	padding-right: 1em;
}
table.guests td.home {
        vertical-align: top;
	width: 30%;
	padding-right: 1em;
}
table.guests td.date {
        vertical-align: top;
	width: 10%;
	padding-right: 1em;
}
table.guests td.topic {
        vertical-align: top;
}
table.guests span.qtitle {
	font-style: normal;
}

table.talks {
	border-spacing: 0.0em 1.5em;
	width: 100%;
}
table.talks td.date {
	width: 25%;
	padding-right: 1em;
}
table.talks td.speaker {
	width: 25%;
	padding-right: 1em;
}

table.workshops {
        vertical-align: top;
	border-spacing: 0.0em 1.5em;
	width: 100%;
}
table.workshops td.title {
        vertical-align: top;
	width: 55%;
	padding-right: 1em;
}
table.workshops td.date {
        vertical-align: top;
	width: 25%;
	padding-right: 1em;
}
table.workshops td.location {
        vertical-align: top;
}

table.news {
	margin-top: 1.5em;
	border-spacing: 0.0em 0.0em;
	width: 100%;
}
table.news td.date {
	width: 25%;
	padding-right: 1em;
	vertical-align: top;
}


/* misc */

#asr_cv_positions td {
	vertical-align: top;
}

div.latex2html img {
	background-color: #ffffff;
}

img.portrait {
	float:left;
	padding-right:4ex;
}

h1.invisible {
	display: none;
}
h2.invisible {
	display: none;
}

dl.imgleft {
	float: left;
	text-align: center;
	padding: 5px;
	margin: 4px;
	color: inherit;
	font-size: small;
}
dl.imgleft dt, dl.imgleft dd {
	text-align: center;
}
dl.imgleft dd {
	padding: 1px;
	margin: 0;
}
dl.imgright {
	float: right;
	text-align: center;
	padding: 5px;
	margin: 4px;
	color: inherit;
	font-size: small;
}
dl.imgright dt, dl.imgleft dd {
	text-align: center;
}
dl.imgright dd {
	padding: 1px;
	margin: 0;
}


@media print {

    body, a {
	color: black;
	background-color: white;
	font-family: Times, "Times New Roman", Geramond, serif;
    }

    h1, h2, h3 {
	border: 1pt solid black;
    }

    h1 {
	font-weight: bold;
	font-size: larger;
    }

    h3 {
	padding-left: 0;
	border-top-style: none;
	border-left-style: none;
	border-right-style: none;
    }

    div#topnav, div.foot {
	display:none;
    }


    a.printlink:after {
        content: " <" attr(href) "> ";
        font-family: courier, monospace;
        font-weight: normal;
    }

    a.printlink {
        text-decoration: none;
        font-weight: bold;
        color: #666;
    }


}