/*
 * Debootstrap
 */
a:hover {
    color: inherit;
}

code {
    color: inherit;
    background-color: inherit;
}

/*
 * Top header
 */
div#header {
    padding: 30px;
    
    border-bottom: 1px dashed #a5a5a5;
}

div#header h1 {
    font-size: 48pt;
    font-weight: bold;
    text-align: center;
}

div#header a:hover {
    text-decoration: none;
}

/*
 * Main navigation menu
 */
#nav {
    margin: 20px 0px;
}

#nav ul {

}

#nav ul ul {

}

#nav li a {

}

#nav li a:hover {
    background-color: #d0d0d0;
    text-decoration: none;
}

#nav li.active {
    background-color: #808080;
}

/*
 * Content
 */
div#content {

}

div#breadcrumb {
    display: none;
    font-size: x-small;
}

/*
 * Footer
 */
div#footer {
    padding: 20px 0px;

    border-top: 1px dashed #a5a5a5;

    font-size: x-small;
    font-style: italic;
}

div#footer-left {
    float: left;
}

.page-footer-modified {
    float: right;
    text-align: right;
}

div#footer-center {
    text-align: center;
}

/*
 * General styles
 */
a {
    color: black;
    text-decoration: none;
    font-weight: bold;
}

a:hover {
    text-decoration: underline;
}

/* Page styles */
#page h1 {
    font-size: xx-large;

    text-align: center;
}

#page h2 {
    font-size: large;
    
    margin-left: 0px;
    padding: 5px;
    width: 100%;

    background-color: #e5e5e5;
    
    border: 1px dashed #c5c5c5;
}

#page h3 {
    font-size: medium;
    font-style: italic;
}

#page p {
    margin-left: 0.5em;
}

#page li {
    padding: 2px;
}

#page a {
    padding-right: 13px;
    
    background: transparent url(/static/link.png) no-repeat center right;
}

#page dt {
    font-size: large;
}

#page dd {
    margin: 1em auto 1em 5em;
}

/* Code block */
#page pre {
    display: block;
    margin: 8px;
    padding: 8px;

    border: 1px dotted #b5b5b5;
}