body {
    font-family: Helvetica, Arial, sans-serif;
    font-size: 0.8em;
}

p {
    line-height: 1.4em;
}

ul.menu, ul.menu ul {
    list-style-type: none;
    margin: 0;
    padding: 0;
}

    ul.menu a {
        display: block;
        text-decoration: none;
    }

    ul.menu li {
        margin-top: 0.5px;
    }

        ul.menu li a, ul.menu ul.menu li a {
            background: #fff;
            color: #E00024;
            padding: 0.4em;
        }

            ul.menu li a:hover, ul.menu ul.menu li a:hover {
                color: #E00024;
                border: thin;
            }

        ul.menu li ul li a, ul.menu ul.menu li ul li a {
            color: #E00024;
            padding-left: 10px;
            border: 1px solid #F9F9F9;
        }

            ul.menu li ul li a:hover, ul.menu ul.menu li ul li a:hover {
                background: none;
                border: 1px solid #990000;
                padding-left: 10px;
                color: black;
            }

    ul.menu ul.menu li a:hover {
        border-left: 0;
        padding-left: 0.5em;
    }

    ul.menu ul.menu {
        border-left: 0px #f00 solid;
    }

        ul.menu a.active, ul.menu ul.menu li a.active, ul.menu a.active:hover, ul.menu ul.menu li a.active:hover {
            text-decoration: none;
            color: #E00024;
        }

div.panel {
    border: 1px #000 solid;
    padding: 5px;
    margin-top: 1px;
}

ul.menu div.panel a, ul.menu div.panel li a:hover {
    display: inline;
    color: #666;
    background: none;
    margin: 0;
    padding: 0;
    border: none;
    font-weight: bold;
}

    ul.menu div.panel a:hover {
        color: #000;
        text-decoration: none;
    }

.code {
    border: 1px solid #ccc;
    list-style-type: decimal-leading-zero;
    padding: 5px;
    margin: 0;
}

    .code code {
        display: block;
        padding: 3px;
        margin-bottom: 0;
    }

    .code li {
        background: #ddd;
        border: 1px solid #ccc;
        margin: 0 0 2px 2.2em;
    }

.indent1 {
    padding-left: 1em;
}

.indent2 {
    padding-left: 2em;
}

.indent3 {
    padding-left: 3em;
}

.indent4 {
    padding-left: 4em;
}

.indent5 {
    padding-left: 5em;
}

.indent6 {
    padding-left: 6em;
}

.indent7 {
    padding-left: 7em;
}

.indent8 {
    padding-left: 8em;
}

.indent9 {
    padding-left: 9em;
}

.indent10 {
    padding-left: 10em;
}