/* Text sizes */

body {font-size: 14px;}

body div.main div#navigation {font-size: 1em;}


h1 {font-size: 1.4em;}


h2 {font-size: 1.2em;}


h2 {font-size: 1em;}

table { font-size: 1em;}

/*  Text styles */

body {font-family: 'Helvetica', 'Arial', sans-serif;}

.identity {font-weight: bold;}

body div.main div#navigation p.title {font-weight: bold;}

.identity a {text-decoration: none;}


body div.main div#body ul li a, 
body div.main div#body ol li a { font-weight: bold;}

body div.main div#body ul li ul li a, 
body div.main div#body ol li ol li a { font-weight: normal;}


/* Border styles */

.identity {border-top: dashed 1px; }
body div.main div#body {border-left: solid 3px;}

body div.main div#body h2 { border-top: dashed 1px; }

body div.main div#body table,
body div.main div#body table td,
body div.main div#body table th { border: 1px solid; border-collapse: collapse;}

/* Colours */


.identity {border-color: #001961;}

.identity {background-color: #b5dae2; color: #001961; }

body div.main div#body {border-color: #b5dae2;}

body div.main div#body h2 {background-color: #b5dae2; color: black; }

body div.main div#navigation ul li.active {background-color: #b5dae2;}

body div.main div#body code {color: green;}

body div.main div#body div pre {background-color: #DDD;}

table th {background-color: #b5dae2;}

table {border-color: #001961;}

/* List styles */


body div.main div#navigation ul {list-style-type: none; list-style-position: inside;}

body div.main div#navigation ul li a, 
body div.main div#navigation ul li span {display: block;}

body div.main div#body ul, 
body div.main div#body ol { list-style-type: none; }


/* Page layout */

* {margin: 0; padding: 0;}

body {padding-left: 4em; padding-right: 4em; padding-top: 1em;}

body div.main { margin: 0; padding: 0;}

body div.main div#navigation { width: 12em; float: left; margin-top: 0; padding-top: 1em;}

body div.main div#body { margin-left: 12em; margin-top: 0; padding-top: 1em; padding-left: 2em; padding-bottom: 2em;}

body div.main div#navigation ul {padding-left: 0;}
body div.main div#navigation ul li {padding: .3em 0 .3em 1em;}


body div.main div#body ul li, 
body div.main div#body ol li { margin-left: 1em; margin-top: 0.25em; margin-bottom: 0.25em;}

body div.main div#body ul li ul, 
body div.main div#body ol li ol {margin-top: 0em; margin-bottom: 0em;}


.identity {margin-top: 2em; padding: 0.2em 0.5em 0.2em 0.5em;}

body div.main div#body h2 { padding: 0em 0.5em 0em 0.5em;}


body div.main div#body p { margin-top: 1em;}

body div.main div#body h2 { margin-top: 1em;}

body div.main div#body div { margin-top: 1em;}

body div.main div#body table { margin-top: 1em;}

body div.main div#body h3 { margin-top: 1em;}

body div.main div#body ul, 
body div.main div#body ol { margin-top: 1em;}

body div.main div#body table td,
body div.main div#body table th { padding: 0.2em;}