@import "https://www.w3.org/StyleSheets/base.css"


    pre {
       font-weight:bold;
       border: 1px solid black;
       padding: 0.5em;
       margin: 0.5em;
       margin-left: 5em;
    }

    .comment { 
       width: 90%; 
       border: 2px solid red; 
       padding: 6px;
    }
    
    dl, dd, dt {  list-style-type: disc; }

    table, ol, ul,p,dl { margin-left: 4% }
    dl {  margin-left: +6%; }
    dt {  font-weight: bold; }

    h4 { margin-left: 4% }

    .head { text-align: center; 
    color: #005a9c; 
    font-weight: bold;
    }
    
    h2 {
    color: white; 
    border: 1px solid gray;
    font-weight: bold;
    margin-top: 0;
    padding: 0.1em; 
    text-indent: 0.3em;
    }

    table {
       border-collapse: collapse;
       background: #FFF;
    }

    th,td {      
       padding: 6px 2em; 
       background: #eee;
       border: 1px black solid;
    }

    td.date {
       text-align: right;
       font-weight: bold;
       font-size: 90%;
    }

/* h1 { 
  background: #005a9c; 
} */

h1 { 

}

h3, h4, h5 {
  margin-left: 1em;
  color: #8080D0;
  font-weight: bold;
  font-size: 135%;
}

h2 { 
  background-color: #aa7; 
}

  .author {
     margin-top: 2em;
     font-style: italic;
  }