body {
    font-family: Verdana, Arial, Helvetica, sans-serif;
}
div {
    position: relative;
    margin: 12px;
}
.title {
    font-size: 200%;
    font-weight: bold;
}
.header {
    font-size: 130%;
    font-weight: bold;
    text-decoration: underline;
}
.hidden {
    color: #C0C0C0;
    background-color: #C0C0C0;
}
pre {
    padding-top: 1em;
    padding-right: 1em;
    padding-bottom: 1em;
    padding-left: 1em;
    border-top-width: 1px;
    border-right-width-value: 1px;
    border-right-width-ltr-source: physical;
    border-right-width-rtl-source: physical;
    border-bottom-width: 1px;
    border-left-width-value: 1px;
    border-left-width-ltr-source: physical;
    border-left-width-rtl-source: physical;
    border-top-style: dashed;
    border-right-style-value: dashed;
    border-right-style-ltr-source: physical;
    border-right-style-rtl-source: physical;
    border-bottom-style: dashed;
    border-left-style-value: dashed;
    border-left-style-ltr-source: physical;
    border-left-style-rtl-source: physical;
    border-top-color: #2f6fab;
    border-right-color-value: #2f6fab;
    border-right-color-ltr-source: physical;
    border-right-color-rtl-source: physical;
    border-bottom-color: #2f6fab;
    border-left-color-value: #2f6fab;
    border-left-color-ltr-source: physical;
    border-left-color-rtl-source: physical;
    color: Black;
    background-color: #f9f9f9;
    line-height: 1.1em;
}