body {
    font-family: Verdana, Arial, sans-serif;
    font-size: smaller;
}

h1 {
    font-size: small;
}

h2 {
    font-size: small;
}


code {
    text-align: left;
}

a {
    color: #663300;
    text-decoration: none;
}

a.normal {
    color: black;
}

a.normal:hover {
    color: black;
    text-decoration: none;
}

a:hover
{
    text-decoration: underline;
}

a#header-link {
    text-align: center;
    color: #000000;
    text-decoration: none;
    font-size: small;
    font-weight: bold;
}

p#header-p {
    text-align: center;
}

p.justify {
    text-align: left;
}

div#main-frame {
    width: 80%;
    border: thin dotted #000000;
    margin-left: auto;
    margin-right: auto;
    text-align: center;
    padding: 20px 20px 20px 20px;
}

div#main-left {
    text-align: left;
}


ul#main-list {
    list-style-type: none;
    margin-right: 30px;
    line-height: 200%;
}

div#date {
/*     text-align: left; */
    font-style: italic;
    background-color: #ffffff;
    font-family: courier;
    padding: 10px 0px 10px 0px;
}

div#webmaster {
    width: 80%;
    padding: 10px 0px 10px 40px;
    margin-left: auto;
    margin-right: auto;
    color: #663300;
    text-align: right;
}

.ascii-art {
    background-color: #ffffcc;
    white-space: pre;
    font-family: courier;
}

.code {
    text-align: left;
    background-color: #ffffcc;
    white-space: pre;
    font-family: courier;
}

/* -- iframe test specific stuff -- */

iframe.iframe1-test {
    margin: 20px 20px 20px 20px;
    padding: 40px 20px 20px 20px;
    background-color: #ffffcc;
    background-image: url('/nil/iframe/ifr1.png');
    background-repeat: no-repeat;
}
iframe.iframe2-test {
    margin: 20px 20px 20px 20px;
    padding: 40px 20px 20px 20px;
    background-color: #ffffcc;
    background-image: url('/nil/iframe/ifr2.png');
    background-repeat: no-repeat;
}

/* -- async js load specific stuff -- */

div.loadedjs {
    margin: 20px 20px 20px 20px;
    padding: 20px 20px 20px 20px;
    background-color: #ffffcc;
    font-family: courier;
    font-size: smaller;
    text-align: left;
    white-space: pre;
}