
    body {
        background-color: #FFFFFF;
        font-family: Arial, Helvetica, sans-serif;
        font-size: 10pt;
        margin: 20px;
    }

    a {
        color: #0000FF;
    }

    a:active {
        color: #FF0000;
    }

    a:visited {
        color: #0000FF;
    }

    p {
        
    }

    .programlisting {
        font-family: "Courier New", monospace;
        font-size: 10pt;
        margin-left: 20px;
        margin-right: 20px;
    }

    .note {
        margin-top: 5px;
        margin-bottom: 5px;
        border-style: solid;
        border-width: 1px;
        background-color: #FFFFFF;
        padding-top: 0px;
        padding-bottom: 0px;
        padding-left: 15px;
        padding-right: 15px;
    }

    .tip {
        margin-top: 5px;
        margin-bottom: 5px;
        border-style: solid;
        border-width: 1px;
        background-color: #FFFFFF;
        padding-top: 0px;
        padding-bottom: 0px;
        padding-left: 15px;
        padding-right: 15px;
    }

    .warning {
        margin-top: 5px;
        margin-bottom: 5px;
        border-style: solid;
        border-width: 1px;
        background-color: #FFFFFF;
        padding-top: 0px;
        padding-bottom: 0px;
        padding-left: 15px;
        padding-right: 15px;
    }

    .navbar {
        border-style: solid;
        border-width: 1px;
        background-color: #DDDDDD;
        padding-top: 5px;
        padding-bottom: 5px;
        padding-left: 5px;
        padding-right: 5px;
    }

    .copyright {
        font-size: 8pt;
    }

