Blame doc/build/style.css

1badb6
1badb6
body {
1badb6
    margin: auto;
1badb6
    padding: 0;
1badb6
    border: 0;
1badb6
    max-width: 1100px;
1badb6
    height: 100%;
1badb6
    background-color: rgb(100, 100, 100);
1badb6
    font-family: serif;
1badb6
    font-size: 12pt;
1badb6
    line-height: 1.5;
1badb6
}
1badb6
1badb6
.navigation {
1badb6
    margin: 0;
1badb6
    border: 0;
1badb6
    position: fixed;
1badb6
    max-width: 280px;
1badb6
    padding: 20px;
1badb6
}
1badb6
1badb6
.navigation a {
1badb6
    font-family: sans-serif;
1badb6
    font-weight: bold;
1badb6
    text-decoration: none;
1badb6
    color: rgb(220, 220, 220);
1badb6
    color: white;
1badb6
}
1badb6
.navigation a:visited { color: rgb(200, 200, 200); }
1badb6
.navigation a:hover { color: white !important; }
1badb6
.navigation a:active { color: rgb(180, 180, 180); }
1badb6
1badb6
.navigation hr {
1badb6
    border: 0;
1badb6
    border-top: 1px solid gray;
1badb6
    margin-left: 20px;
1badb6
    width: 100px;
1badb6
}
1badb6
1badb6
1badb6
.content {
1badb6
    margin: 0 0 0 340px;
1badb6
    padding: 20px;
1badb6
    border: 0;
1badb6
    max-width: 800px;
1badb6
    min-height: 100%;
1badb6
    background-color: white;
1badb6
}
1badb6
1badb6
.content a {
1badb6
    font-family: sans-serif;
1badb6
    font-weight: bold;
1badb6
    text-decoration: none;
1badb6
}
1badb6
1badb6
p { 
1badb6
    margin-top: 10px;
1badb6
    margin-bottom: 20px;
1badb6
}
1badb6
1badb6
h1, h2, h3, h4, h5 {
1badb6
    font-family: sans-serif;
1badb6
    font-weight: bold;
1badb6
}
1badb6
1badb6
h1 {
1badb6
    font-size: 18pt;
1badb6
}
1badb6
1badb6
h2 {
1badb6
    font-size: 14pt;
1badb6
}
1badb6
1badb6
h3 {
1badb6
    font-size: 12pt;
1badb6
    margin-top: 30px;
1badb6
    margin-bottom: 5px;
1badb6
}
1badb6
1badb6
h3+h3 {
1badb6
    margin-top: 0;
1badb6
}
1badb6
1badb6
h4 {
1badb6
    font-size: 10pt;
1badb6
    margin-top: 0;
1badb6
    margin-bottom: 0;
1badb6
}
1badb6
1badb6
table, th, td {
1badb6
    border: 1px solid gray;
1badb6
    border-collapse: collapse;
1badb6
    padding: 5px;
1badb6
}
1badb6
1badb6
pre {
1badb6
    border: 1px solid gray;
1badb6
    background-color: rgb(230, 230, 230);
1badb6
    padding: 10px;
1badb6
}