/* Start of CMSMS style sheet 'Mikes stylesheet' */
/* colors used:
   #005a9c - dark blue in site heading
   #dfebf7 - light blue on top menu tabs
   #000000 - black
   #ffffff - white
   (others used for syntax highlighting of source code)

   Order of rules:
     Common elements (links, etc.)
     Basic structure
     Menus
     Content
     Syntax highlighting
*/


/** Common elements (links, etc.) **/
/* browsers interpret margin and padding a little differently, we'll
   remove all default padding and margins and  set them later on */
* {
  margin:0;
  padding:0;
}

/* Internet Explorer 6 hack */
* html div#menu_vert { height: 1%; } 
* html div#main { height: 1%; } 
* html div#footer { height: 1%; }

/* set initial font styles */
body {
  font-family: "Bitstream Vera Sans", "Lucida Grande", "Trebuchet MS", sans-serif;
  margin:0;
  padding:0
}

/* default link styles: underline and bluish color */
a,
a:link
a:active {
  text-decoration: underline;
  background-color: inherit;
  color: #005a9c;
}

a:visited {
  text-decoration: underline;
  background-color: inherit;
}

/* remove underline on hover and change color */
a:hover {
  text-decoration: none;
  background-color: #dfebf7;
}


/** Basic structure **/
body {
  background-color: #ffffff;
  color: #000000;
}

div#pagewrapper {
  background-color: #ffffff;
  color: black;
}

/* site title */
div#header {
  width: 100%;
  overflow: hidden;
  background-color: #005a9c;
}
div#header h1, div#menu {
  margin: 0 auto;
  text-align: center
}
div#header h1{
  padding: 30px 0 20px;  /* space above and below the title */
  color: #ffffff
}

div#footer {
  background-color: #005a9c;
  color: #ffffff;
  clear: both;
  overflow: auto;
}

div#search {
  padding: 0.6em 0 0.2em 0;
  margin: 0 1em;
}
div#search form label {
   display: none;
}

div#search fieldset {
  border: 0;
}

#sidebar {
  float: right;
  margin-left: 1em;
  width: 25%;
}

#sidebar .box {
  padding: 1em;
  background-color: #dfebf7;
  margin: 1em 0 1em 0;
  border-top: thin solid #005a9c;
  border-bottom: thin solid #005a9c;
}


/** Menus **/
/* horizontal menu */
div.menu_horiz ul, div#menu_horiz ul li {
  list-style-type: none;
  margin: 0;
  padding: 0
}

div.menu_horiz ul {
  float:right;  /* change to go to the left if desired */
  font-size: 80%
}

div.menu_horiz ul li {
  float:left;
  text-align: center
}

div.menu_horiz ul a,
div.menu_horiz ul h3 {
  float:left;
  padding: 0.5em 1em 0.5em 1em;  /* padding around tabs */
  background-color: #dfebf7;
  text-decoration:none;
  color: #005a9c;
  border-top: 1px solid #fff;
  border-left: 1px solid #fff;
  border-right: 1px solid #fff;
  font-size: 100%;  /* would use "inherit" but it doesn't look right in IE */
}

div.menu_horiz ul a.activeparent {
  font-weight: bold;
}

div.menu_horiz ul a:hover {
  background: #fff;
}

div.menu_horiz ul li.activelink a, div#menu_horiz ul li.activelink a:hover {
  background: #FFF;
  color: #003
}

/* vertical menu */
#menu_vert h2.rootpage {
  font-size:  100%;
  padding: 0 0 0.5em 0;
  border-bottom: 1px solid #005a9c;
}

/* global/first level
  These match ALL li's under a  #menu_vert (remember, CSS selectors specify descendants;
  direct children are mached by #menu_vert > li, for example)
  This is the only rule that matches 5.1, 5.2, 5.3, 5.4, 5.5
  These are solely for styling */
div#menu_vert a:hover {
  background-color: #FFFFFF;
}
#menu_vert li {
  list-style: none;
  padding: 0.5em 0 0.5em 0;   /* top right bottom left */
  border-bottom: 1px solid #ffffff;
  display: block;
  margin-left: 1em;
  font-size: 80%;
}
/* These are links (which is everything but the currently-selected one) */
div#menu_vert a {
  text-decoration:none;
  display: block; /* IE has problems with this, fixed above */
  color: #005a9c;
  min-height:1em; /* Fixes IE7 whitespace bug */
}
/* This is the currently-selected one; there's not a link (since it's already
  selected) but it appears bold. */
div#menu_vert ul h3 {
  font-weight: bold;
  display: block;
  color: #005a9c;
  font-size: 1em;
  margin: 0;
}

/* don't indent the first one, but indent everything beneath it */
#menu_vert li li {
  margin-left: 1em;
  border-bottom: none;  /* avoid lots of horizontal lines; hopefully there won't be lots of nested links */
  font-size: 100%;  /* don't keep shrinking it down to nothing */
}

div#menu_vert li.sectionheader {
  color: #005a9c;
  font-weight: bold;
  line-height: 1em;
  border-bottom: 1px solid #005a9c;
  margin: 0;
}

div#menu_vert li.separator {
  border-bottom: 1px solid #005a9c;
  line-height: 1px;
}

div#menu_vert li.separator hr {
  display: none; /* this is for accessibility */
}


/** Content **/
div#content {
  font-family: "Trebuchet MS", Arial, sans-serif;
  margin: 0 auto;
  padding: 15px;
  background: #fff;
}

div#content h1 {
  font-size: 2em;  /* font size for h1 */
  line-height: 1em;
  margin: 0;
}
div#content h2 {
  color: #005a9c;
  font-size: 2em;
  text-align: left;
  margin: 0 0 0.5em 0;
}
div#content h3 {
  font-size: 1.5em;
  line-height: 1.5em;
  margin: 0 0 0.5em 0;
}
div#content h4 {
  font-size: 1.2em;
  line-height: 1.3em;
  margin: 0 0 0.25em 0;
}
div#content h5 {
  font-size: 1.1em;
  line-height: 1.3em;
  margin: 0 0 0.25em 0;
}
h6 {
  font-size: 1em;
  line-height: 1.3em;
  margin: 0 0 0.25em 0;
}

p {
  margin: 1em 0 1.5em 0;
  line-height:1.4em;
  padding: 0;
}
blockquote {
  border-left: 1px solid #dfebf7;
  padding-left: 0.5em;
  margin-left: 1em;
}
code, pre {
 white-space: pre-wrap;
 font-family: "Courier New", Courier, monospace;
 font-size: 1em;
}
pre {
  font-family: monospace;
  font-size: 1.0em;
  background-color: #dfebf7;
  margin: 0 0em 1em 0;
  padding: 0.5em;
  overflow: visible;
  line-height: 1.5em;
  border-top: thin solid #005a9c;
  border-bottom: thin solid #005a9c;
}
kbd {
  color: #005a9c;
  font-weight: bold;
}
strong, b {
  font-weight: bold;
}
em, i {
  font-style:italic;
}

table td {
  border-width: thin thin thin thin;
  padding: 0.25em;
  border-style: none;
  border-color: #005a9c;
  background-color: #dfebf7;
}

div#main ul li,
div#main ol li {
  margin: 0 0 0.25em 3em;
}
div#main dl dt {
  font-weight: bold;
  margin: 0 0 0.25em 0em;
}
div#main dl dd {
  margin: 0 0 0 3em;
}

/** Syntax highlighting **/
.xml-attributename { color: #800000; }
.xml-attributevalue { color: #FF0000; }
.xml-elementname { color: #005a9c; }
.xml-processinginstruction { color: #005a9c; }
.xml-symbol { color: #808080; }
.xml-text { color: #000000; }
.xml-whitespace { color: #ffffff; }

.src-delimter { color: #808080; }
.src-name { color: #005a9c; }
.src-text { color: #000000; }
.src-symbol { color: #808080; }
/* End of 'Mikes stylesheet' */