body {
   background-image: url("weave.jpg");
   font-family: Verdana, Arial, Helvetica, Sans-serif;
 }

h1 { text-align: center; }

h2 {
    font-family: Verdana, Arial, Helvetica, Sans-serif;
    border-color: #c00000;
    color : black;
    margin-top: 0.8em;
    border-style: solid;
    border-width: 0px 0px 3px 0.5em;
    line-height : 130%;
}

h3 {
    font-family: Verdana, Arial, Helvetica, Sans-serif;
    border-color: #f02020;
    color : black;
    border-width: 0px 0px 2px 0.5em;
    border-style: solid;
    margin-right: 20%;
    line-height : 130%;
}
caption { font-weight: bold }
a.qindex {}
a.qindexRef {}
a.el { text-decoration: none; font-weight: bold }
a.elRef { font-weight: bold }
a.code { text-decoration: none; font-weight: normal; color: #4444ee }
a.codeRef { font-weight: normal; color: #4444ee }
a:hover { text-decoration: none; background-color: #f2f2ff }
dl.el { margin-left: -1cm }
div.fragment { width: 100%; border: none; background-color: #eeeeee }
div.ah { background-color: black; font-weight: bold; color: #ffffff; margin-bottom: 3px; margin-top: 3px }

td {
    font-family: Verdana, Arial, Helvetica, Sans-serif;
    background-color: #8282ff;
    font-weight: bold;
}

table.menu {
    background-color: #000066;
    font-weight: bold;
    text-align: center;
    width: 100%; 
}

tr.menu {
    background-color: #ccffff;
    font-weight: bold;
    text-align: center;
}
td.menu {
    background-color: #f2e0d0;
    font-weight: bold;
    text-align: center;
}

td.md {
    background-color: #f2f2ff;
    font-weight: bold;
}
td.mdname1 { background-color: #f2f2ff; font-weight: bold; color: #602020; }
td.mdname { background-color: #f2f2ff; font-weight: bold; color: #602020; width: 600px; }
div.groupHeader { margin-left: 16px; margin-top: 12px; margin-bottom: 6px; font-weight: bold }
div.groupText { margin-left: 16px; font-style: italic; font-size: smaller }
td.indexkey { 
   font-family: Verdana, Arial, Helvetica, Sans-serif;
   background-color: #eeeeff; 
   font-weight: bold; 
   padding-right  : 10px; 
   padding-top    : 2px; 
   padding-left   : 10px; 
   padding-bottom : 2px; 
   margin-left    : 0px; 
   margin-right   : 0px; 
   margin-top     : 2px; 
   margin-bottom  : 2px  
}
td.indexvalue { 
   font-family: Verdana, Arial, Helvetica, Sans-serif;
   background-color: #eeeeff; 
   font-style: italic; 
   padding-right  : 10px; 
   padding-top    : 2px; 
   padding-left   : 10px; 
   padding-bottom : 2px; 
   margin-left    : 0px; 
   margin-right   : 0px; 
   margin-top     : 2px; 
   margin-bottom  : 2px  
}
span.keyword       { color: #008000 }
span.keywordtype   { color: #604020 }
span.keywordflow   { color: #e08000 }
span.comment       { color: #800000 }
span.preprocessor  { color: #806020 }
span.stringliteral { color: #002080 }
span.charliteral   { color: #008080 }
em {
    color: #990000;
    background-color: transparent;
}