/*
    for static html files deco-ed with site header/footer
    mostly generated from ".md" files. or hand-coded html files.
 */

a{
    color: #00f;
    text-decoration: none;
}
a:visited{
    color: #00f;
}

h1 {
    margin: 30px 0 20px 0;
    font-size: 24px;
    font-weight: bold;
}
h2 {
    margin: 40px 0 20px 0;
    font-size: 24px;
    font-weight: normal;

    padding-bottom: 3px;
    border-bottom: 1px solid #BBB;
}
h2 a {
    color: black !important;
}

p {
    /*margin: 20px 0 20px 0;*/
}

a.api {
    /*font-weight: bold;*/
}

li {
    margin: 3px 0;
}


/*
     the following styles should be hardcoded in forum messages generated from markdown
     see MyVerbatimSerializer and MyToHtmlSerializer
*/
code
{
    background: #f0f0f0; padding: 0 4px 0 4px;
}

pre{
    background: #f0f0f0; padding: 5px 0 5px 10px;
    padding-left: 40px;
}

blockquote{
    border-left: 3px solid #ddd; padding-left: 7px; margin-left: 10px;
}