/* Predefined colours:
   aqua, black, blue, fuchsia, gray, green, lime, maroon, navy, olive,
   purple, red, silver, teal, white, yellow
*/

body {
    color: #F5F5F5;
    background: #006;
    font-family: Verdana, 'Myriad Web', Syntax, sans-serif;
    margin-top: 1.58em;
    margin-left:    5%;
    margin-right:   5%;
    margin-bottom:  1.58em;
    }

.center { text-align: center }

h1 { text-align: center }

h1,h2,h3,h4,h5,h6,th,dt,caption {
    font-size-adjust: 0.53;
    color: #FC0;
    font-family: Tahoma, Verdana, Myriad Web, Syntax, sans-serif;
    }

h1,h2,th { font-weight: 900 }
h3,h4,h5,dt,caption { font-weight: 600 }
h6 { font-weight: 700 }

h1 { font-size: 250% }
h2 { font-size: 175% }
h3 { font-size: 158% }
h4 { font-size: 133%; }
h5,dt,th,caption { font-size: 117% }
h6 { font-size: 100% }

a.hidden:link { text-decoration: none;
         font-weight: normal;
         color: #F5F5F5;
         }

a.hidden:visited { text-decoration: none;
         font-weight: normal;
         color: #F5F5F5;
         }

a.hidden:active { text-decoration: none;
         font-weight: normal;
         color: yellow;
         background: #006;
         }

a.hidden:hover { text-decoration: none;
         font-weight: normal;
         color: yellow;
         background: #006;
         }

a:link { text-decoration: none;
         font-weight: bold;
         color: #F63; }

a:visited {
    text-decoration: none;
    font-weight: bold;
    color: #6CF;
    }

a:active {
    text-decoration: none;
    font-weight: bold;
    color: #FC0;
    }   

a:hover {
    text-decoration: none;
    font-weight: bold;
    color: #FC0;
    background: black
    }

td,th { background-color: #369; }

table.ibc td, table.ibc th { background-color: transparent; }
table.ibc a:hover { background: transparent }

hr { color: #369; }

pre,code { font-family: 'Monotype.com', Courier New, monospace; }

img { border-style: none }

em { font-style: italic; font-weight: normal }
em em { font-style: normal }

p.cite,div.cite { text-align: right }
cite { font-style: italic; font-weight: normal }
cite cite { font-style: normal }
/* cite.book { font-style: italic } */

em cite { font-style: normal }
cite em { font-style: normal }

DT  {   
    margin-top: 0;
    margin-bottom:  0;
    padding-top:    0;
    padding-bottom: 0;
    border-top: 0;
    border-bottom:  0;
    }   
        
DD  {   
    margin-top: 0;
    margin-bottom:  0;
    padding-top:    0;
    padding-bottom: 0;
    border-top: 0;
    border-bottom:  0;
    }   

.right {
    float: right;
    text-align: center;
    padding-left: 0.3cm; padding-bottom: 0.3cm; padding-top: 0.3cm; }
.left {
    float: left;
    text-align: center;
    padding-right: 0.3cm; padding-bottom: 0.3cm; padding-top: 0.3cm; }
.clear { clear: both }

/* for writing "LaTeX" -- I would prefer quantitative control here */
.HighLetter { vertical-align: text-top;    text-transform: uppercase }
.LowLetter  { vertical-align: text-bottom; text-transform: uppercase }

q { font-family: Garamond, Times New Roman, serif;
    font-size: 110%;
    font-style: italic;
    }

.border { border-color: #F5F5F5; border-style: solid; border-width: thin;
          padding-left: 0.3cm; padding-right: 0.3cm; 
          padding-top: 10pt; padding-bottom: 5pt;
          margin-left: 10%; margin-right: 10%;
          margin-top: 0; margin-bottom: 0;
          font-family: Garamond, Times New Roman, serif;
          font-size: 120%;
          text-align: justify;
          }

.LongQuote {
          border-color: #F5F5F5; border-style: solid; border-width: thin;
          padding-left: 0.3cm; padding-right: 0.3cm; 
          margin-left: 10%; margin-right: 10%;
          margin-top: 20pt; margin-bottom: 20pt;
          font-family: Garamond, Times New Roman, serif;
          font-size: 120%;
          text-align: justify;
          }

.caption { font-size: 85%; text-align: center; }

span.dropcap {
    float: left;
    background: #5f5f5f;
    color: #fff;
    border: #fc0 solid 2px;
    font-size: 400%;
    text-align: center;
    font-weight: bold;
    width: 1em;
    font-family: Times New Roman, serif;
    padding: 3px;
    margin: 3px;
    }

span.dropcap2 {
    float: left;
    color: #fff;
    font-size: 350%;
    text-align: center;
    font-weight: bold;
    width: 1em;
    font-family: Times New Roman, serif;
    }

/* From http://www.tug.org/applications/tex4ht/tugmml/amsldoc.html */

    span.TEX          { 
                        letter-spacing: -0.125em;
                      }
    span.TEX span.E   { 
                        position:relative;
                        top:0.5ex;
                        left:-0.0417em;
                      }
    span.LATEX span.A { 
                        position:relative;
                        top:-0.5ex;
                        left:-0.4em;
                        font-size:85%;
                      }
    span.LATEX span.TEX {
                        position:relative;
                        left: -0.4em;
                      }
    a span.LATEX span.A, a span.TEX span.E {
                        text-decoration: none;
                      }