/* I really ought to figure this stuff out. */
h1 { 
    font-family: DejaVu Sans, Verdana, arial, helvetica, sans-serif; 
    font-size: 24pt;
    line-height: 30pt;
    font-weight: 100; 
    margin: 0px; 
    text-align: center;
}

h2 { 
    font-family: DejaVu Sans, Verdana, arial, helvetica, sans-serif; 
    font-size: 20px;
    font-weight: normal;
    padding-bottom: 5px;
    border-bottom: 1px solid black;
/* letter-spacing: .1em; */
}

h3 { 
    background-color: #999966;
    font-size: 12px; 
    line-height: 100%; 
    margin: 1px; 
}

body {
    background-color: #C9C994;
    font-family: DejaVu Sans, Verdana, arial, helvetica, sans-serif; 
    font-size: 10pt;
    /* line-height: 120%; */
    margin: 0px 0px 10px 0px;
    padding-left: 30px;
    padding-right: 30px;
}

ul {
    padding-left: 1em;
}

ul.plain {
    list-style-type: none;
    margin-left: 5px;
    padding-left: 5px;
}

a { 
    /* color: #000066; */
    text-decoration:none; 
    color: #A0522D; 
}

a:hover { 
    color: #990000;
    text-decoration: underline;
}

a:visited { 
    /* color: #006600; */
    color: #000080;
}

#banner {
    font-family:    DejaVu Sans, Verdana, Arial, helvetica, sans-serif;
    color:          #FFF;
    background:     #996;
    font-size:      24pt;
    font-weight:    normal;
/*
    border-bottom:  1px;
    border-top:     1px solid #996;
*/
    padding:        5px;
    padding-left:   20px;
    text-transform: uppercase;
    letter-spacing: .15em;
}

#content { 
    float:         left;
    position:       absolute;
    width:          65%;
    border-right:   1px dotted #996;
    margin-right:   15px;
    padding-top:    5px;
    padding-right:  15px;
    padding-bottom: 0px;
}

#content h3 {
    background-color: #C9C994;
    font-size: 16pt; 
    border:1px solid #996;
    padding:5px;
    margin-bottom:10px;
    font-weight:normal;
}


#links { 
    position: absolute;
    left: 70%;
    width: 27%;
    margin-right: 1%;
    padding-right:15px; 
}

#backtoarchives {
    position: absolute;
    left: 70%;
    width: 27%;
    margin-right: 1%;
    padding-right: 15px;
    bottom: 0px;
}

#archivelinks {
/*
    position: absolute;
    left: 70%;
    width: 27%;
*/
    margin-right: 1%;
    padding-right: 15px;
}

#archivelinks ul {
    list-style-type: none;
}

#links h4 {
    color:#666;
    background:#996;
    font-size:9px;
    font-weight:bold;
    line-height:14px;
    padding:2px;
    margin-top:10px;
    text-align:center;
    text-transform:uppercase;
    letter-spacing: .2em;
}

#links ul { 
    list-style-type: none; 
    margin-left: 0px;
    padding-left: 5px;
}

#links li {
    text-align: left;
}

img { 
    border: none;
}

cite { 
    font-style: oblique;
}

acronym[title], abbr[title], cite[title] { 
    border-bottom: 1px dotted black;
    cursor: help;
}

#title { 
    position: absolute; 
    top: 0;
    left: 0;
    width: 100%;
    height: 50px;
}

#entries { 
    position: absolute;
    top: 50px;
    left: 0;
    width: 76%;
    margin-left: 2%;
    margin-right: 2%;
}

#footer { 
    background: #C9C994;
    padding-top: 5px;
    text-align: right;
}

.centre {
    text-align: center;
}

.code { 
    font-family: courier, monospace;
    font-size: 10pt;
    line-height: 110%;
    margin-left: 2em;
    padding-left: 1em; 
    border-left-style: solid;
}

.inlinecode {
    font-family: courier, monospace;
    font-size: 10pt;
    line-height: 110%;
}

.toc {
    margin: 1px 0px 2px 0px  
}

.blogfooter { 
    font-size: x-small;
}

/* Some classes for my CV, produced using XMLResume */
.skillSetTitle, .jobTitle {
    font-weight: bold;
}

.employer {
    font-style: italic;
}



.smallestTag {
    font-size: 1em;
}
.smallTag {
    font-size: 1.5em;
}
.mediumTag {
    font-size: 2em;
}
.bigTag {
    font-size: 2.5em;
}
.biggestTag {
    font-size: 3em;
} 
.hugeTag {
    font-size: 3.5em;
}
.hugestTag {
    font-size: 4em;
}
.mostHugeTag {
    font-size: 4.5em;
}

div.note {
    border-style: solid;
    padding: 0.25em;
    margin-top: 0.5em;
}

p.admonition-title {
    padding-top: 0em;
    margin-top: 0.25em;
    font-weight: bold;
    font-variant: small-caps;
}

/* Didn't work.
p.admonition-title + p {
    display: inline;
}
*/


div.note > p.last {
    margin-bottom: 0.25em;
}

div.admonition-spoilers {
    border-style: solid;
    padding: 0.25em;
    margin-top: 0.5em;
}

div.admonition-spoilers > p.last {
    margin-bottom: 0.25em;
}

/* Blosxom stuff ................................................ */
.blosxomDayDiv {
    float: left;
    width: 100%;
}

.blosxomEntry {
    width: 100%;
    margin-top: 1em;
    margin-bottom: 1em;
    padding: 0em;
    padding-top: 1em; 
    border-top-style: double;
}

.blosxomEntry > p {
    margin-top: 0em;
    margin-bottom: 0em;
    passing: 0em;
}

/* did nothing.
div.section {
    margin-top:     0em;
    margin-bottom:  0em;
    padding-top:    0em;
    padding-bottom: 0em;
}
*/

.section > h5 {
    font-size: 12pt;
    margin-top: 0.5em;
    margin-bottom: 0.25em;
    padding: 0em;
}

.section > h6 {
    font-size: 11pt;
    margin-top: 0.5em;
    margin-bottom: 0.25em;
    padding: 0em;
}

.section > p {
    margin-top:     0em;
    margin-bottom:  0.5em;
    padding-top:    0em;
    padding-bottom: 0em;
}

/* 
strong.dice {
    font-variant: small-caps;
}
*/

.blosxomEntrySummary {
    width: 100%;
    // margin-top: 1em;
    // margin-bottom: 2em;
    padding: 1em;
}	

.blosxomBody {
    color: #222222;
    // border: 1px solid #888888;
    margin-top: 0em;
    margin-bottom: 0em;
    padding-left: 1em;
    padding-right: 1em;
}

.blosxomStoryLinks {
    // background: #eeeeee;
	// text-align: right;
}

.blosxomComments {
    margin-top: 2em;
    border-top: 1px dashed #444444;
}

.blosxomTitle {
    font-size: 14pt;
    font-weight: bold;
    color: #000000;
}
.blosxomDate {
    border-bottom: 1px solid #888888;
    font-size: 11pt;
    font-weight: bold;
    color: #336699;
} 

.blosxomEntryDate {
    font-weight: bold;
    font-size: 100%;
    color: #aaaaaa;
} 

.blosxomTime { 
    text-decoration: italicize;
    color: #336699;
}

.literal-block {
    font-size: 85%;
    font-family: DejaVu Sans Mono, courier, monospace;
}

.literal {
    font-size: 85%;
    font-family: DejaVu Sans Mono, courier, monospace;
    text-decoration: /* overline */ underline ;
}
span.comment { font-family: sans-serif; font-weight: bolder; }
span.company { color: red; text-decoration: underline; }
span.program { color: blue; }
