body {
    color: black;
    background-color: #e0e0e0;

    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, div.menu, div.index {
    margin-left:  5%;
    margin-right: 5%;
}

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

h5, h6, 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.dica {
    border: 1px solid black;
    background-color: white;
    padding-left: .5em;
    padding-right: .5em;
    padding-top: .1em;
    padding-bottom: .25em;
}

span.di, span.ca {
    border: 1px solid black;
    padding-left: .5em;
    padding-bottom: .1em;
}

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

pre.code {
    color: #008000;
}
