/*
 * General
 */
body {	
  background-color: #DDDDDD;
  color: black;
  font-family: Verdana, Arial, Helvetica, sans-serif;
}

h1 {
  font-weight: bold;	
  font-size: x-large;
}

h2 { 
  font-weight: bold;	
  font-size: large;
}	

h3 {
  font-weight: bold;	
  font-size: medium;
}

em { 
  font-weight: bold;	 
  font-style: normal;
}

/* 
 * Menu Bar 
 */

div#menu { 
  text-align:left;
  border: 0;
  position: fixed;
  top: 0;
  left: 0;
  width: 20%;
  overflow: hidden;
}

#menu ul { 
  list-style-type: none;
  list-style-position: outside;
  padding-left: 10px;
  margin-left: 0px;
}

#menu ul li { 
  margin-bottom:5px;
  font-size: 80%;
}

#menu ul li a {
  text-decoration: none;
  font-weight: bold;
  color: #900000;
}

#menu ul li a:hover {
  color: #CC0000;
}

#menu li.exit { 
  margin-top: 20px;
  font-style: italic;
  font-size: 85%;
}

/* 
 * Header
 */
div#header { 
  background-color: #999999;
  border-top: 1px solid #333333;
  border-bottom: 1px solid #333333;
  margin-bottom: 15px;
  margin-top: 0px;
  padding-left: 10px;
  padding-right: 10px;
}

/* 
 * Main Content 
 */

div#wrapper {
  background-color: white;
  position: absolute;
  top: 0;
  left: 20%;
  width: 80%;
  min-height: 100%;
}

div#content { 
  background-color: #DDDDDD;
  margin-left: 10px;
  margin-right: 60px;
  padding-bottom: 10px;
  padding-top: 10px;
}

#content p, #content li {
  line-height: 140%;
}

#content h1 {
  font-size: 120%;
  letter-spacing: 1pt;
  color: #333333;
}

#content h2 {
  color: #333333;
  font-size: 100%;
}

#content a {
  text-decoration: none;
  color: #900000;
  font-weight: bold;
}

#content a:visited {
  color: #450000;
}

#content a:hover {
  color: #CC0000;
}

#content a:active {
  color: #CC0000;
}

div#mainmatter {
  padding-left: 20px;
  padding-right: 20px;
}

.front-picture { 
  text-align: center;
  font-size: x-small;
}

.front-picture p { 
  margin-top: 3px;
}

thead { 
  font-weight: bold;
}

td { 
  padding-right: 15px;
}

.sights img { 
  float: left;
  margin-right: 10px;
  margin-bottom: 10px;
}

.sights h2, .sights h3, .sights p {
  clear: both;
}

.sights h2, .sights h3 {
  margin-top: 12pt;
}

.sights .contact { 
  font-size: small;
  font-style: italic;
}

.sights .copyright { 
  font-size: small;
  color: #333333;
}

ul.icfp-venue { 
  list-style-type: none;
  padding-left: 0px;
}

.icfp-venue li { 
  margin-bottom: 20px;
}

.schedule {
  font-size: 80%;
}

table.schedule {
  border-spacing: 0;
  border-collapse: collapse;
}

.schedule td.dt { 
  text-align: right;
}

.schedule .session { 
  background-color: #999999;
}

.schedule td { 
  padding-left: 0px;
  padding-right: 8px;
  padding-top: 2px;
  padding-bottom: 1px;
}

.schedule .first-row td {
  border-bottom: 3px double gray;
  padding-bottom: 10px;
}

.schedule .second-row td { 
  padding-top: 10px;
}

.footnote { 
  font-size: small;
}

td { 
  vertical-align: top;
}


/*
 * Footer
 */

div#footer {
  background-color: #999999;  
  color: #000;
  width: 100%;
  padding-top: 5px;
  padding-bottom: 5px;
  border-top: 1px solid #333333;
  border-bottom: 1px solid #333333;
  font-size: xx-small;
  text-align: center;
}

div.vspace {
  height: 100%;
}

/*
 * WASH
 */

.faultyinput { 
  background-color: #CC0000;
  color: #EEEEEE;
}

.reg-button { 
  font-size: medium;
  font-weight: bold;
}

.required { 
  font-weight: bold;
}

/*
 * Registration
 */

table.reg { 
  border-spacing: 0;
  border-collapse: collapse;
}

.reg td { 
 vertical-align:middle;
 text-align:center;
}

.reg .first td { 
 border-top: 2px solid gray;
 padding-top: 10px;
}

.reg td { 
  padding-bottom: 5px;
}
.reg .last td, .reg td.last { 
 padding-bottom: 10px;
}

p.printable {
  text-align: right;
  font-size: 80%;
}