body { 
  color: black;
  background-color: white;
  background-image: url(http://vdt.cs.wisc.edu/background.gif);
  background-repeat: repeat-y;
}
pre {
    margin-left: 1em;
    margin-right: 1em;
    padding: 0.5em;
    background-color: #f0f0f0;
    border: 1px solid black;
}

pre em {
    background-color: yellow;
    color: black;
    font-style: normal;
}

@media print {
  div.menu { display: none; }
  div.body { margin-left: 0px; }
}
@media screen {
  div.menu {
      position: absolute; 
      top: 5px;
      left: 0px;
      text-align: center;
      width: 175px
  }
  div.body {
      margin-left: 180px;
  }
}
h1 {
    text-align: center;
}
h2 {
    background-color: silver;
}
dl {
    list-style-type: circle;
}
dl dt {
    margin-left: 40px;
}
dl dd {
    margin-left: 60px;
}

/* Icons for interesting links */
a[href $='.pdf'] { 
   padding-right: 18px;
   background: transparent url(/pictures/link-icons/link_icon_pdf.gif) no-repeat center right;
}

a[href $='.doc'] { 
   padding-right: 18px;
   background: transparent url(/pictures/link-icons/link_icon_msword.gif) no-repeat center right;
}

a[href $='.xls'] { 
   padding-right: 18px;
   background: transparent url(/pictures/link-icons/link_icon_msexcel.gif) no-repeat center right;
}

a[href ^="mailto:"] {
   padding-right: 20px;
   background: transparent url(/pictures/link-icons/link_icon_mailto.gif) no-repeat center right;
}

a[class="external"] {
  padding-right: 18px;
  background: transparent url(/pictures/link-icons/link_icon_external.gif) no-repeat center right;
}


/* Here are some ideas for making lists look a bit better. */

.loose li {
    margin-top: 1ex;
    margin-bottom: 1ex;
}

.loose li li {
    margin-top: 0.5ex;
    margin-bottom: 0.5ex;
}

.loose li p {
    margin-top: 0.75ex;
    margin-bottom: 0.75ex;
}

.loose pre {
    margin-top: 0.75ex;
    margin-bottom: 1ex;
    padding: 0.5ex 1ex;
}

/* For tables with striping; i.e, alternating rows of light and dark background colors */

table.striped, table.striped-spaced {
    border: 1px #e5e5ff solid;
    border-collapse: collapse;
}

tr.dark-stripe {
    color: black;
    background-color: #e5e5ff ;
    vertical-align: top;
}

tr.light-stripe {
    color: black;
    background-color: #ffffff;
    vertical-align: top;
}

tr.alert-stripe {
    color: black;
    background-color: #FF6666;
    vertical-align: top;
}

.spaced th+th, .spaced td+td, .striped-spaced th+th, .striped-spaced td+td {
    padding-left: 1.5em;
}

/* For the 1.1.14-todo file only */

li.old-to-do-head {
    background-color: silver;
    text-align: center;
    list-style-type: none
}

/* For team.html only */

table.team-person {
    width: 95%;
    border: 1px solid silver;
    border-collapse: collapse;
}

td.team-name {
    padding: .5em 1em .5em .5em;
    background-color: silver;
    border-bottom: 1px solid silver;
    font-weight: bold;
    font-family: Arial, Helvetica, sans-serif;
}

td.team-picture {
    padding: 1em;
    border-right: 1px solid silver;
    width: 128px;
}

td.team-bio {
    padding: .5em 1em .5em .5em;
    vertical-align: top;
}

/* For whats_new.html only */

/* I'm not completely happy with this style, and will take suggestions for improvements */

div.new-date { 
    font-size: larger;
    font-weight: bolder;
    color: black;
    background-color: white;
}

div.new-notes {
    margin: 0.25em 0 1em 3em;
    background-color: white;
}

/* for internal/to-do.html only */

table.to-do-list {
    border-collapse: collapse;
    border: 1px solid black;
}

td.to-do-head {
    font-size: larger;
    font-weight: bold;
    text-align: center;
    vertical-align: top;
}

td.to-do-prio {
    background-color: #ff6666;
    text-align: center;
    vertical-align: top;
}

td.to-do-name {
    border-right: 1px solid silver;
    text-align: center;
    vertical-align: top;
    padding-left: .5em;
    padding-right: .5em;
    border-bottom: 1px solid silver;
}

td.to-do-task {
    text-align: left;
    vertical-align: top;
    padding-left: .5em;
    padding-right: .5em;
    border-bottom: 1px solid silver;
}
ul.navbar_first {
    list-style-type: none;
    margin-left: 0;
    padding-left: 0;
}

/* For internal/build_status.html */

#build-status td {
    text-align: center;
}

#build-status td.built {
    background-color: rgb(75%, 100%, 75%);
    color: black;
}

#build-status td.failed {
    background-color: rgb(100%, 75%, 75%);
    color: black;
}

#build-status td.notyet {
    background-color: white;
    color: black;
}

/* For per-version contents.html */

#contents-table td.supported {
    background-color: rgb(75%, 100%, 75%);
    color: black;
    text-align: center;
}

#contents-table td.unsupported {
    background-color: rgb(100%, 75%, 75%);
    color: black;
    text-align: center;
}

div.suggest {
    margin-left: 1em;
    margin-right: 1em;
    background-color: #ffff66;
    border: 1px solid black;
    padding: 0.5em;
}