html, body {
    font-family: Verdana, Arial;
    font-size: 12px;
}

p {
    text-align: justify;
}

h1 {
    font-size: 18px;
    font-weight: bold;
    color: #6FB303;
    margin-bottom: 20px;
}

h1 small {
    font-size: 10px;
}

h2 {
    font-size: 16px;
    font-weight: bold;
    color: #444;
    margin-top: 20px;
    margin-bottom: 5px;
}

h4 {
    font-size: 14px;
    font-weight: bold;
    color: #000;
}

div.left a {
    color: #000;
    text-decoration: none;
    border-bottom: dashed;
    border-width: 1px;
    font-style: italic;
    border-color: #6FB303;
}

div.left a:hover {
    text-decoration: none;
    border-bottom: solid;
    border-width: 1px;
    font-style: italic;
    border-color: #6FB303;
}

pre {
    border: dashed;
    border-width: 1px;
    border-color: #444;
    padding: 10px;
}

div.right {
    color: #578C02;
}