/* Simple CSS2.1 style sheet content.css */

/* Author: David Bruce (dib@dib-online.info) */


div#contents {
             ; padding : .5em
             }

div#contents div.entry
	     { 
	       border: dotted thin olive
             ; margin-left: 5% ; margin-right: 5%
             ; margin-top : 1em ; margin-bottom : 1em
             }

div.entry   { color : teal }
div.entry * { color : teal }

div.entry a:link            { color: red }
div.entry a.external:link   { color: blue }
div.entry a.external:link * { color: blue }
div.entry a.local:link      { color: navy }
div.entry a.local:link *    { color: navy }
div.entry a.internal:link   { color: navy }
div.entry a.internal:link * { color: navy }
div.entry a:visited         { color: purple }
div.entry a:hover           { background: #fd0 }
div.entry a:hover span.eXtremities { color: teal }  /* otherwise X disappears! */

div.entry h1 { margin-top : 0
             ; font-family : sans-serif
             ; font-size: 150%
             }

div.entry h2 { font-family : sans-serif
             ; font-size: 125%
             }

div.entry h3 { font-family : sans-serif
             ; font-size: 110%
             }

div.entry h4 { font-family : sans-serif
             ; font-size: 100%
             }

div.entry p.timestamp
	{
	  margin: 0; padding-bottom: 0.75em; padding-left: 1em  /* ; border: solid thin #fd0 */
	; font-family: sans-serif ; font-size: 100%
	; float: right ; color: #c9f
	}

div.entry 
        {
/*	  font-size: larger     */
/*        ; font-weight: bold    */
      	}


div.section { border-top: dotted teal }