body {
/*
    color: #404000;
    background-color: #e0f0f0;
*/

    color: black;
    background-color: white;
    background-image: url(grijs.gif);
    background-repeat: repeat-x;
    background-position: 0% 0%;
    background-attachment: fixed;

    margin-top: 2px;
    margin-bottom: 72px;
}

/*
a         { text-decoration: none; }
*/
a:link    { color: #0000EE; }
a:visited { color: #551A8B; }
a:active  { color: #FF0000; }
a:hover   { background-color: #FFFF80; }

h1 {
    margin-top: 100px;
    margin-bottom: 20px;
}

h1, h2, h3, h4, h5, h6 {
    margin-left:  5%;
    margin-right: 5%;
}

div.taal {
    margin-left: 8px;
    margin-top:  8px;
}

div.text {
    margin-left:  15%;
    margin-right: 15%;
}

div.fig {
    text-align: center;
    color: brown;
}

div.table {
    margin-left: 20%;
}

div.hint, div.warn, div.devel {
    color: black;
    padding: 1em 16px 1em 16px;
}

div.warn, div.devel {
    background-color: #FFFFE0;
    border: 3px solid red;
}

div.hint {
    background-color: #E0E0FF;
    border: 3px solid #0000EE;
}

div.warn, div.hint {
    margin: 1em 20% 1em 20%;
}

div.devel {
    margin: 1em 40% 1em 16px;
}

span.term {
    color: #c00000;
    letter-spacing: 0.1em;
}

span.code {
    color: #600060;
    font-family: monospace;
    font-weight: bold;
}

span.prog {
    font-family: monospace;
    font-weight: bold;
    letter-spacing: 0.2em;
}

pre.tabel {
    font-size: small;
    margin-left: 20%;
}

pre.code {
    color: #008000;
}

body.index a {
    text-decoration: none;
}