/* CSS for Downloads Page */

.downlist .warning { 
  color: #FF0000;
}


div.pub_downloads { 
  padding-left: 1em;
}

div.pub_downloads dt {
  font-weight: bold;
}

div.pub_downloads dd {
  margin-bottom: 1em;
}


div.pub_downloads p { 
  margin: 0;
}

div.pub_downloads .download { 
  font-variant: small-caps;
  font-size: larger;
}


div.pub_downloads .download a { 
  text-decoration: none;
}

div.pub_downloads { 
  margin: 0 1em;
  padding: 0.2em 0.5em;
  border: 1px solid black;
}

h3.pub_a { 
  margin-left: 1em;
}