/* Simple CSS2.1 style sheet for pageinfo */

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


body	{ 
	  margin-left: 5% ; margin-right: 5%
	; margin-top: 0 ; margin-bottom: 0
	; padding: 0
      	}
body:after { clear: both }

div#header { margin-left : 20% ; margin-right : 100px
        /* ; border: thin dotted red */
           } 

div#host
	{ float: right
	; width : 100px ; height : 100px
/*	; width : 9% */
/*	; width : 64px ; height : 64px */
/*
	  position: absolute ; top: 100px ; right: 5%
*/
        /* ; border: thin dotted red */
        } 

div#navigation { width : 20% ; float : left }

div#navigation { font-size: 75% ; font-family: sans-serif ; color: teal }
div#navigation h2
	{ font-size: 125%
	; margin-left: .5em ; margin-right: .5em
	; margin-top: 0; margin-bottom: 0
	}
div#navigation ul
	{ list-style: none
	; margin: 0 ; padding: 0
	; margin-bottom: 2em
	}
div#navigation li a
	{ display: block
	; background: #9f9 ; border: thin solid teal
	; padding: 0.25em
	; margin-left: 1em ; margin-right: 1em; margin-top: 0.25em; margin-bottom: 0.25em
	}
div#navigation a
	{
	text-decoration: none
	}
div#navigation a:hover { background: #fd0 }

/* div#navigation    { background: #ccc } /* */
/* div#navigation h2 { background: #999 } /* */
/* div#navigation ul { background: #555 } /* */

div#contents { margin-left: 20% ; margin-right: 100px
             }
div#contents {
/*             ; border: solid thick olive */
             }
div#pageinfo
	{
/*	; position: absolute ; bottom: 0 ; right: 5% */
	}