html { min-height: 100%; margin-bottom: 1px; }a[href]:link {text-decoration:none;color: #0000aa;}a[href]:visited {text-decoration:none;color: #0000aa;}a[href]:hover {text-decoration:none;color: #aa0000;}#blueback a[href] {color: #4d5ea5;}#grayback a[href] {color: #dddddd;}pre {font-size:1em;color:blue;}p,pre {margin:0px 10px 10px 10px;}h1 {font-size:1.45em;padding-top:10px;}h2 {font-size:1.25em;padding-left:0px;margin-top:25px;}h3 {font-size:1.0em;}h4 {font-style: bold;}img {border: 0px;}	ol {margin-right:0px;list-style-type: decimal/decimal-leading-zero/zero;}ul {list-style-type: square;}li {margin-bottom:10px;}body {font-family: Verdana, Arial, Helvetica, sans-serif;font-size: 12px;color: #444444;background:#ffffff;margin:10px 10px 10px 10px;padding:0px;}#banner {voice-family: "\"}\"";voice-family: inherit;}html>body #banner {height: 120px;}#grayback {background: #4d5ea5;vertical-align: middle;}#blueback {height:64px;font-size: 2em;background: #c6cfe3;background-image:url('../img/ismir07_logo.jpg');background-position:12px 50%;background-repeat:no-repeat;text-align: left;vertical-align: middle;padding-top: 5px;padding-left: 260px;}#leftcontent {position: absolute;left:-20px;top:150px;width:200px;background:#fff;}#leftcontent li {list-style: none;margin-top: 1px;margin-bottom: 1px;margin-left: 0px;margin-right: 0px;padding-left: 0px;padding-right: 0px;padding-top: 0px;padding-bottom: 0px;}#centercontent {background:#fffffff;voice-family: "\"}\"";voice-family: inherit;margin-right:150px;margin-left: 200px;}#rightcontent {position: absolute;right:10px;top:150px;width:150px;height: 100%;background:#fff;}#rightcontent ul {border: none;text-align: left;}#rightcontent li {list-style: none;margin-top: 20px;padding: 0;}#banner h1 {font-size:14px;padding-left:10px;padding-right:10px;padding-bottom:5px;padding-top:5px;margin:0px;}div#footer {clear: both;font-size: 0.9em;margin-top: 3em; padding: 1em 1em 1em 1em;text-align: center;background-color: white;font-weight: bold;}div#footer a {text-decoration:none;color: #000000;}div#footer p {margin-top: 1em;}table {font-size:1em;}
