/*
 * Vanish website stylesheet.
 *
 * Combines elements from:
 *   http://adeona.cs.washington.edu/adeona.css
 *   http://oneswarm.cs.washington.edu/css/home.css
 */

body {
  font-family: Georgia, Times New Roman, Times, serif;
  text-align: left;
  direction: ltr;
  width: 800px;
  margin-left: auto;
  margin-right: auto;
}

#logo img {
    display:block;
    margin:0px auto;
}

/* navigation stuff */
#navigation {
    width:100%;
    border:solid 1px #333377;
    background-color:#333377;
    padding:3px;
}
#navigation h2 {
    display:none;
}
#navigation a {
    text-decoration:none;
    font-weight:bold;
    color:#FCEA83;
}
#navigation a:hover {
    color:#ffffff;
}
#navigation ul {
    text-align:center;
    margin: 0px;
    list-style-type:none;
}
#navigation ul li {
    display:inline;
    margin: 0px 10px;
}

#nav {
  text-align: center;
}

.headerNews {
  font-size: 14px;
}

h3 {
  border-bottom: 1px solid #36322f;
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-variant: normal;
  font-weight: bold;
  text-align: left;
}

h4 {
  font-weight: bold;
}

li {
  margin-bottom: 10px;
}

#footer {
  text-align: center;
  font-size: 10pt;
  border-top: 1px solid #36322f;
  padding-top: 10px;
}

#sshot {
  display: block;
  margin-left:  auto;
  margin-right:  auto;
  text-align: center;
}

#acknowledgments {
  margin-top: 10px;
}

#download_table {
  border: 1px solid #c2c2c2;
  border-collapse: collapse;
}

#dino {
  margin-right: auto;
  margin-left: auto;
  text-align: center;
}

blockquote {
  width: 650px;
} 

#sites {
  text-align: center;
  font-size: small;
  vertical-align: middle;
}

/* special message */
div.announce {
    border:solid 1px black;
    width:60%;
    margin:20px auto;
    padding:0px 20px;
}

div.announce h1 {
    color:#ff0000;
    font-weight:bold;
    border-bottom:solid 1px #bbbbbb;
}

div.announce h2 {
    color:#ff0000;
    font-weight:bold;
    border-bottom:solid 1px #bbbbbb;
}

p.announce-important {
    font-weight:bold;
}

div.announce span {
    display:block;
}

div.indent {
    margin-left: 3em;
}

table.black {
    color: black;
    border: 0;
    cellspacing: 0;
    cellpadding: 3;
    width: 750;
}

table.red, table.red a {
    color: red;
    border: 0;
    cellspacing: 0;
    cellpadding: 3;
    width: 750;
    font-size: 20px;
    background-color: lightgrey;
}

a.no_underscore {
    text-decoration:none;
}