@charset "UTF-8";
/* Common stylesheets for main page 

/* Headers */
h1 { text-align: center }
h2, h3, h4, h5, h6 { text-align: left }

/* Headline*/
div.valid { float: right; }

/* Contact information */
table.contact {border: hidden}
table.contact > * > tr > * {vertical-align: baseline; border: hidden}
table.contact > * > tr > td {font-family: monospace; padding: 0ex 0.5em}
table.contact > caption { font-weight: bold; font-size: 140% }