a:visited {
        color: #444499;
}

a:link {
        color: #000000;
}

body {
    background-color: #e0e0ff;
/*    margin-left: 5%; */
    margin-right: 5%;
    font-family: verdana, arial, helvetica, Sans-Serif;
}

pre {
    border-right: #9999dd 1px solid;
    padding-right: 0.5em;
    border-top: #9999dd 1px solid;
    padding-top: 0.5em;
    border-left: #9999dd 1px solid;
    padding-left: 0.5em;
    border-bottom: #9999dd 1px solid;
    padding-bottom: 0.5em;
    white-space: pre;
    background-color: #d0d0ff;
    color: black;
    margin-left: 1em;
    display: table;
    line-height: 135%;
}