body {
        background-color: #F0F0F0;
}

body.fullscreen {
        height: 100%;
}

h1 {
        font-family: Arial, sans-serif;
        font-size: 15pt;
        margin-top: 5px;
        margin-bottom: 5px;
}

h2 {
        font-family: Arial, sans-serif;
        font-size: 11pt;
        margin-top: 5px;
        margin-bottom: 5px;
        font-style: italic;
}

p {
        font-family: Arial, sans-serif;
        font-size: 10pt;
}

p.small {
        margin-top: 4px;
        font-family: Arial, sans-serif;
        font-size: 8pt;
}

a:link, a:visited {
        font-family: Arial, sans-serif;
        font-size: 10pt;
        letter-spacing: 0px;
        font-weight: normal;
        text-decoration: none;
    color: blue;
}

a:hover {
        font-family: Arial, sans-serif;
        font-size: 10pt;
        letter-spacing: 0px;
        font-weight: normal;
        text-decoration: none;
    color: red;
}

pre {
        font-family: "courier new", courier, monospace;
        font-size: 9px;
}

div.fullscreen {
        width: 100%;
        height: 100%;
        display: block;
        position: absolute;
    top: 0;
    left: 0;
}

div.paged {
        background-color: white;
        width: 90%;
	height: 92%;
        border: 1px solid black;
        padding-top: 5px;
        padding-left: 5px;
        padding-right: 5px;
        margin-left: auto;
        margin-right: auto;
        margin-top: 20px;
}

#line {
    position: absolute;
    right: 30%;
    margin-left: 8px;
    left: 0px;
    height: 1px;
    background-color: black;
}