body {
    margin-left:  2%;
    margin-right: 2%;  
    background:   rgb(248,248,216);
    font-family:  georgia, verdana, trebuchet, arial, helvetica, sans-serif;
}

li li { font-size: 80% }
dl dl { font-size: 80% }
dd    { font-size: 80% }

/* 'Slide' is used in the source file and by the xslt script, it is not used in the generated
   files. Ie, this is a style to be used for the source file only
*/
@media screen {
    div.slide { 
        padding: 1em; 
        border: thin solid;
    }
}
    
/* This is used by the source file only, just to make the editing of that one a bit handier. The
   h1-s used in the generated slides are defined separately
*/
div.slide h1 {
    background: #FFFFCC;
    padding-left:0em;
    color: navy;
    font-size: 140%;
    font-weight: bold;
    border-bottom-width: thin;
    border-bottom-color: navy;
    border-bottom-style: inset;
    text-align: center;
}
pre { margin-bottom: 0; margin-top: 0; }
/* ------------------------------------------------------------ */

img {
    border: 0;
}

code, pre {
    color: #003;
    font-weight: bold;
    font-family: "Courier New", courier, monospace;
}

code {
    color: #003;
    font-family: "Courier New", courier, monospace;
}

code.exmpl, pre.exmpl {
    color: maroon;
}

em { 
    color: maroon;
    font-style:italic;
}

/* Various emphasis colours */
.emph1 { 
    color:blue; 
    font-weight: bold;
    background: inherit;
}
.emph2 { 
    color:green; 
    font-weight: bold;
    background: inherit;
}
.emph3 { 
    color:navy; 
    font-weight: bold;
    background: inherit;
}
.emph4 { 
    color:orange; 
    font-weight: bold;
    background: inherit;
}
.emph5 { 
    color:red; 
    font-weight: bold;
    background: inherit;
}

ul, ol { 
    margin-left: 18pt;
    margin-top: 0.5em;
    margin-bottom: 0.5em;
}

dl p, ul p, ol p,
dl ol, dl ul, dl dl,
ol ol, ol dl, ol ul,
ul dl, ul ol, ul ul {
    margin-top: 0;
    margin-bottom: 0;
}

tt { 
    color: maroon;
    font-weight: bold;
    font-family: "Courier New", courier, monospace;
}

pre span.keyword {
    color: #FAA;
}

pre span.comment {
    color: #AFA;
    font-weight: normal;
    font-style: italic;
}

h2 {
    font-size: 130%;
}

h3 {
    font-size: 120%;
}  

h4 {
    font-size: 100%;
}

table.coloured td, td.coloured,
table.colored td, td.colored  { 
    background: #CCFFFF;
    color: inherit;
}

table.coloured th, table.colored th  { 
    background: #c0c0c4;
    text-align: center;
    font-weight: bold;
    color: inherit;
}

dt {
    font-weight: bold; 
    color:#006699; 
    background: inherit;
} 

a:link, a:visited { 
    color: blue; 
    background: inherit;
    text-decoration: none;
}

a:active { 
    color: red;
}

a:hover, a.focus {
    background: #FFA;
    color: inherit;
}

/* I always mix up the British and US spelling... */
div.center, div.centre { 
    text-align: center;
}

table.full {
    width: 85%;
}

/* ======================================================================== */
/* Styles used by the table of content in the generated Overview.html file. */

div.toc {
    font-size:    25pt !important;
    padding-left: 1em;
}

div.doc h2 { 
    text-align: center;
}

div.toc h1 {
    color: navy;
    font-size: 140%;
}

div.toc h2 {
    color: navy;
    font-size: 80%;
}

div.tocTitle {
    margin-top:-2em;
    font-weight: bold;
    text-align: center;
    padding-left:0.3em;
    border-bottom-width: medium;
    border-bottom-color: navy;
    border-bottom-style: ridge;
}

div.svgOnly {
    display: none;
}