* {
   margin: 0;
/*    padding: 0; */
}

body {
   background-color: white;
   color: black;
   font-family: 'Lucida Grande', helvetica, arial, verdana, sans-serif;
}

a:link, a:visited { 
   color: #0000ff; 
   text-decoration: none;
}

a:hover {
   text-decoration: underline;
}

#header {
   background-color: #b31b1b;
   color: white;
   border-bottom: 1px solid #cccccc;
}

#header table {
   color: white;
   width: 100%;
   border: 0;
   font-size: 90%;
}

#header table tr td{
   width: 33%;
}

#header ul {
   display: inline;
   padding: 0;
}

#header li {
   display: inline;
   margin: 0 0.2em 0 0.2em;
}

#header a {
   color: white;
   font-size: 90%;
   font-weight: bold;
}

#form {
   position: relative;
   margin: 0;
   padding: 1em;
   z-index: 1;
   clear: both;
}

#logo {
   position: absolute;
   top: 0;
   right: 0;
   width: 130px;
   height: 130px;
   background: url(logo.png) top right no-repeat;
   z-index: 0;
}

#contents {
   position: relative;
   margin: 1em;
   z-index: 1;
}

#contents p {
   margin-top: 0.5em;
   margin-bottom: 0.5em;
}

#buttons {
   text-align: center;
   margin-top: 0.5em;
   margin-bottom: 0.5em;
}

#footer {
   border-top: 1px solid #999; 
   margin-top: 1em;
   margin-bottom: 0.5em;
   padding-top: 0.5em;
   text-align: center; 
   font-size: 90%; 
   color: #999;
}

#footer a {
   padding: 0 0.2em 0 0.2em;
   color: #999;
   font-size: 90%; 
}

.hint {
   margin-top: 0.5em;
   font-size: 80%;
   color: #aaa;
}

.error {
   margin-top: 0.5em;
   font-size: 120%;
   color: #ff0000;
   font-weight: bold;
}

.options {
   font-size: 90%;
   margin-top: 0.5em;
   margin-bottom: 0.5em;
}

.found {
   color: green;
   font-weight: bold;
}

.article {
   margin-top: 1em;
   font-size: 90%; 
}

.id {
   font-weight: bold;
   line-height: 130%;
}

.record {
   line-height: 130%;
   /* padding-bottom: 1em; */
   margin-left: 3em;
}

.title {
   font-size: large; 
   font-weight: bold; 
   margin-top: .25em 0 0 0;
   line-height: 120%;
}

.authors {
   font-size: 110%; 
}

.date {
   font-size: 90%;
   color: #666;
}

.abstract {
   margin-top: 1em;
}

.comment {
   font-size: 90%;
   color: #666;
}

.keywords {
   font-size: 90%;
   color: #666;
   margin-top: 0.5em;
}

.keywords a, .keywords a:link, .keywords a:visited {
   color: #666;
   font-weight: bold;
}

.pager {
   text-align: center; 
   margin-top: 1em;
}

.current_page {
   font-size: 110%; 
   font-weight: bold;
}

.button {
   font-weight: bold;
   color: #0000ff;
   margin: 0 0 1em 1em;
}

.nowrap {white-space: nowrap;}

/* input, button, file, textarea, select { */
/*    border: #000000 1px solid;  */
/*    font-size:100%; */
/* } */

.supplement {
    color: #000;
}

.supplement a:link, .supplement a:visited {
    color: #0000ff;
}

.supplement ul, .supplement li {
    list-style-type: circle; 
}

div.supplement {
    margin-bottom: 1em;
}

.stats ul, .stats li {
    list-style-type: circle; 
}

img {
   border: 0;
}

h1, h2, h3, h4 {
   line-height: 130%;
   margin-bottom: 0.5em;
   margin-top: 0.5em;
}

pre.src {
   font-size: 90%;
   padding: 0.3em;
   background: #f5f5f5;
   border: 1px solid #eee;
   overflow-x: auto;
}