body {
  background-color: rgb(255,253,253);
  overflow: scroll;
  padding:          0px;
  margin:           0px;
  text-align:       center;
  font-family:      "Gill Sans MT", "Gill Sans", Arial, Helvetica, sans-serif;
  font-size:        11pt;
}

ul {
  list-style-image: url("/images/RedBullet.png");
}

li {
  padding-bottom: 5px;
}

/*************************************/

.logo {
  float:      left;
  width:      200px;
  margin-top: 20px;
}

.logo img {
  border: none;
}

.logo a {
  text-decoration: none;
}

/*************************************/

.outer {
  display:    inline-block;
  margin:     0 auto;
  width:      900px;
  text-align: left;
}

/*************************************/

.leftstroke {
  float:       left;
  width:       1px;
  margin-top:  0px;
  margin-left: 10px;
  z-index:     -1;
}

.leftcross {
  float:       left;
  width:       1px;
  margin-top:  10px;
  margin-left: -160px;
  z-index:     -1;
}

.rightstroke {
  float:       left;
  width:       1px;
  margin-top:  10px;
  margin-left: 20px;
  z-index:     -1;
}

.rightcross {
  float:       left;
  width:       1px;
  margin-left: -35px;
  z-index:     -1;
}

/*************************************/

.menu {
  font-family:    "Century Gothic", "Trebuchet MS", Helvetica, Arial, sans-serif;
  background:     url("/images/MenuLine.png") no-repeat scroll bottom center;
  float:          left;
  width:          380px; /* XXX */
  /* width:          480px; /* XXX */
  margin-top:     55px;
  margin-left:    50px;
  padding-bottom: 20px;
}

.menu a {
  color:       rgb(0,0,0);
  margin-left: 5px;
  padding:     5px 10px 2px 10px;
}

.menu a:link {
  text-decoration: none;
}

.menu a:visited {
  text-decoration: none;
}

.menu a:hover {
  border-style: solid;
  border-width: 5px 0px 0px 0px;
  border-color: rgb(128,0,0);
  padding-top:  0px;
}

.menu a.current {
  border-style: solid;
  border-width: 5px 0px 0px 0px;
  border-color: rgb(128,0,0);
  padding-top:  0px;
  background:   rgb(112,128,144);
  color:        rgb(255,255,255);
}

.menu a.current:hover {
  border-style: solid;
  border-width: 5px 0px 0px 0px;
  border-color: rgb(128,0,0);
  padding-top:  0px;
  background:   rgb(112,128,144);
  color:        rgb(255,255,255);
}

/*************************************/

.submenu {
  font-family:    Helvetica, Arial, sans-serif;
  font-size:   11pt;
  clear:       both;
  float:       left;
  width:       140px;
  margin-top:  20px;
}

.submenu span.header {
  font-family:    "Arial Black", Gadget, Helvetica, Arial, sans-serif;
  font-style:      normal;
  font-size:       10pt;
  display:         list-item;
  list-style-type: none;
  color:           rgb(128,0,0);
  margin-top:      0.25em;
  margin-left:     -1em;
  padding:         2px 5px;
  padding-bottom:  1px;
  border-style:    solid;
  border-width:    0px 0px 1px 0px;
  border-color:    rgb(64,0,0);
}

.submenu a {
  display:         list-item;
  list-style-type: none;
  color:           rgb(66,74,82);
  margin-top:      0.125em;
  padding:         2px 5px 1px 5px;
  border-style:    solid;
  border-width:    0px 5px 0px 5px;
  border-color:    rgb(255,255,255);
}

.submenu a:link {
  text-decoration: none;
  border-style:    solid;
  border-width:    0px 5px 0px 5px;
  border-color:    rgb(255,255,255);
}

.submenu a:visited {
  text-decoration: none;
  border-style:    solid;
  border-width:    0px 5px 0px 5px;
  border-color:    rgb(255,255,255);
}

.submenu a:hover {
  border-style: solid;
  border-width: 0px 5px 0px 5px;
  border-color: rgb(128,0,0);
}

.submenu a.current {
  border-style: solid;
  border-width: 0px 5px 0px 5px;
  border-color: rgb(128,0,0);
  background:   rgb(112,128,144);
  color:        rgb(255,255,255);
}

.submenu a.current:hover {
  border-style: solid;
  border-width: 0px 5px 0px 5px;
  border-color: rgb(128,0,0);
  background:   rgb(112,128,144);
  color:        rgb(255,255,255);
}

/*************************************/

.main {
  float:       left;
  margin-top:  0px;
  margin-left: 50px;
  width:       450px;
}

.main h1 {
  float:         right;
  width:         300px; /* XXX */
  color:         rgb(128,0,0);
  font-size:     16px;
  border-style:  solid;
  border-color:  rgb(112,128,144);
  border-width:  0px 0px 1px 1px;
  padding-left:  1em;
  padding-right: 1em;
  margin-left:   1em;
}

.main h2 {
  clear:     both;
  color:     rgb(128,0,0);
  font-size: 15px;
}

.main h3 {
  clear:     both;
  color:     rgb(128,0,0);
  font-size: 12px;
}

.main p {
  clear: both;
}

.main table {
  clear: both;
}

.main a {
  text-decoration: none;
  border-style:  dashed;
  border-color:  rgb(112,128,144);
  border-width:  0px 0px 1px 0px;
  color:         rgb(128,0,0);
}

.main pre {
  font-size: 12px;
}

.main code {
  font-size: 12px;
}

.main table.advisory td {
  vertical-align: top;
}

.main table.advisory td.header {
  width:         100px;
  padding-right: 10px;
  text-align:    right;
}

.main table.timetable td {
  vertical-align: top;
}

.main table.timetable td.date {
  padding-right: 10px;
  text-align:    right;
}

.main table.references td {
  vertical-align: top;
}

.main table.references td.number {
  padding-right: 10px;
  text-align:    right;
}

.main table.contact td {
  vertical-align: top;
}

.main table.contact td.header {
  padding-right: 10px;
  text-align:    right;
}

/*************************************/

.events {
  float:       left;
  margin-top:  10px;
  margin-left: 20px;
  width:       200px;
}

.events .date {
  font-family:    "Lucida Console", Monaco, Arial, Helvetica, sans-serif;
  font-size:      x-small;
  vertical-align: bottom;
}

.events a {
  text-decoration: none;
  border-style:    dashed;
  border-color:    rgb(112,128,144);
  border-width:    0px 0px 1px 0px;
  color:           rgb(128,0,0);
}

/*************************************/

.info {
  float:       left;
  margin-top:  -20px;
  margin-left: 20px;
  width:       200px;
}

.info p {
  color:          rgb(128,0,0);
}

.info table.contact td {
  vertical-align: top;
  color:          rgb(66,74,82);
}

.info table.contact td.header {
  padding-right: 10px;
  text-align:    right;
}

.info a {
  text-decoration: none;
  border-style:    dashed;
  border-color:    rgb(128,0,0);
  border-width:    0px 0px 1px 0px;
  color:           rgb(66,74,82);
}

/*************************************/

.copyright {
  font-size:   9pt;
  color:       rgb(130,90,90);
  margin-top:  30px;
}