/* Colin's general CSS file for postings */

body { 
    font-family: "Times New Roman", serif;
    padding: 0;
    font-size: large;
}

/* HEADER */

header {
    margin: 0;
    padding: 10px 5px 5px;
    font-family: 'Droid Sans', sans-serif;
    background-color: #bbb;
}

header h1 {
    font-size: xx-large;
    font-weight: bold;
    margin: 0;
}

nav {
    margin: 0;
    padding: 2px 0px;
    font-family: 'Droid Sans', sans-serif;
    background-color: #ddd;
}

/* POSTING BODY */

h2, h3, h4, h5, h6 {
    font-family: 'Droid Sans', sans-serif;
    font-weight: bold;
}

/* FIGURES */

figure { 
    font-family: 'Droid Sans', sans-serif;
    border: thin solid black;
    margin: 0px 20px 10px;
    padding: 5px 10px;
    text-align: center;
}

figcaption { 
    font-weight: normal; 
    width: 850px;
    margin-left: auto;
    margin-right: auto;
    text-align: left;
    clear: both;
}

div.caption-label {
    font-weight: bold;
    float: left;
    width: 90px;
}

div.caption-text {
    margin-left: 95px;
}

/* TABLES */

table { 
    margin: auto; 
    border-collapse: collapse;
}

td, th { 
    border: thin solid black; 
    padding: 4px 10px; 
    border-collapse: collapse; 
}

/* LISTS */

dt {
    float: left;
    width: 125px;
    text-align: right;
    font-weight: bold;
}

dd {
    margin: 0 0 0 135px;
}

.wide-dl dt {
    width: 250px;
}

.wide-dl dd {
    margin: 0 0 0 260px;
}

/* CODE AND QUOTES */

p.code-block { 
    background-color: #ddd; 
    padding: 2px; 
    font-family: "Liberation Mono", monospace;
    font-size: small;
    color: #000;
}

span.code { 
    font-family: "Liberation Mono", monospace;
    font-size: small;
    color: #006;
}

span.code-comment {
    color: #f00;
}

blockquote { 
    border: thin dashed gray;
    padding: 3px;
}