body {
    font-family: arial, helvetica, sans-serif;
    text-align: center;
    font-size: large;
}

body * {
    text-align: left;
}

p {
    text-align: justify;
}

img {
    border-width: 0px;
}

h1, h2, h3, h4 {
    font-style: italic;
    color: #007000;
}

a:hover {
    color: #cc3300;
}

a.paper {
    text-decoration: none;
    color: #000000;
}

a.paper:hover {
    text-decoration: underline;
    color: #cc3300;
}

a.talk {
    text-decoration: none;
    color: #cc3300;
}

a.talk:hover {
    text-decoration: underline;
    color: #cc3300;
}

#header {
    clear: both;
    background-color: #c1c3fd;
    text-align: center;
}

#header table {
    width: 100%;
}

#header td {
    padding: 12px;
    padding-left: 2em;
}

#header img {
    float: left;
    vertical-align: middle;
    margin: 12px;
}

#header p {
    display: inline-block;
    zoom: 1;
    *display: inline;
    vertical-align: middle;
    margin: 12px;
}

#title {
    padding-left: 2em;
}

#maintitle {
    font-size: 200%;
    font-style: italic;
}

#submaintitle {
    font-size: 150%;
}

#banner {
    clear: both;
    border-top: 6px solid black;
    border-bottom: 6px solid black;
    margin-top: 8px;
    margin-bottom: 8px;
}

#banner ul {
    list-style-type: none;
    padding: 0;
    margin: 0;
}

#banner li {
    padding: 0 0.3em;
    vertical-align: middle;
    display: inline-block;
    zoom: 1;
    *display: inline;
}

table#body {
    margin-left: auto;
    margin-right: auto;
}

#body td {
    vertical-align: top;
}

#main {
    width: 33em;
    margin: 0 2em 1.5em 0;
}

#mainschedule {
    width: 60em;
    margin: 0 2em 1.5em 0;
}

#toc {
    float: right;
    width: 13.5em;
    border: 2px solid black;
    margin: 1em 0 0.5em 1.5em;
    background-color: #f0f1fd;
}

#toc ul {
    list-style-type: none;
    padding: 0.5em;
    padding-top: 0;
    margin: 0;
    text-transform: uppercase;
    font-size: 115%;
}

#toc ul ul {
    list-style-type: none;
    padding: 0 0 0 1.5em;
    margin: 0;
    text-transform: none;
    font-size: 85%;
    font-weight: normal;
}

#toc ul li {
    margin-top: 0.5em;
}

#toc ul ul li {
    margin-top: 0;
}

#toc a {
    text-decoration: none;
    color: #007000;
}

#toc a:hover {
    color: #cc3300;
}

.ispage {
    font-weight: bold;
}

#validator {
    float: right;
    font-size: 4px;
    text-decoration: none;
    color: #cccccc;
}

#validator * {
    text-decoration: none;
    color: #cccccc;
}

#main table {
    border-spacing: 0;
    font-size: 90%;
    width: 100%;
}

#main td {
    text-align: right;
    vertical-align: middle;
    padding: 0.5em;
}

#main td.L {
    text-align: left;
}

#main tr.thead td, #main tr.tfoot td {
    background-color: #70d080;
    font-weight: bold;
    border-bottom: 1px solid black;
    border-top: 1px solid black;
}

.workshop tr.i, .workshop .i td {
    border-bottom: 1px solid black;
}

td.a {
    border-left: 1px solid black;
    border-right: 1px solid black;
    background-color: #ffff9a;
}

td.b {
    border-left: 1px solid black;
    border-right: 1px solid black;
    background-color: #ffcc9a;
}

td.c {
    border-left: 1px solid black;
    border-right: 1px solid black;
    border-bottom: 1px solid black;
    background-color: #ccffff;
}