/* 
   This file differs a bit from the style file of the manual. Maybe these two should be 
   merged at some point.

   Johannes Kaestner, CCLRC Daresbury Lab, 2006
   TWK - refreshed a little 2012

*/

body {
    font-family: sans-serif; 
    font-size: 85%; 
    font-weight: normal ;
    text-align:justify ;
    line-height:1.3em;
    color:#003366;	
    background-color: #FFFFFF;
}


dd {text-align:justify }
dt {text-align:justify }

h1 { font-size: 1.8em; font-weight: bold; }
h2 { font-size: 1.4em; font-weight: normal; font-style: italic; color:#333366 }
h3 { font-size: 1.2em; font-weight: normal; color:#333366 }
h4 { font-size: 1.1em; font-weight: normal; color:#333366 }
dl { font-size: 1.1em; font-weight: normal; color:#333366 }
tc { text-align: justify  }
table { font-size: 1.0em; }
td { color:#003366; font-size: 1.0em; }
ul { color:#003366; 
     padding-left:3.2em;
      }
ol { color:#003366; 
     padding-left:3.2em; 
   }
li {      padding-bottom: 0.3em;	}
tt  {font-family: courier; font-size: 1.1em; color:#004400 }

/* Bring out code snippets from the rest of the text */
pre {
    font-family: courier; 
    font-size: 1.0em; 
    color:#004400;
    border: 1px solid #cccccc;
    background-color: #f0f0f0;
    margin-left: 2em;
    margin-right: 2em;
    margin-top: 1em;
    margin-bottom: 1em;
    padding: 1em;
}

strong {font-family: sans-serif; font-size: 1.1em; font-weight: bold; color:#003366 }

td.mainclass { text-align: justify; color:#003366; background-color: #FFFFFF;} 

/* Navigation bar stuff */
div#navbar {
/* 
   position: absolute;
*/
 width: 15em;

 height: auto;
 top: 1em; left: 1em; right: auto;

/* background-color: transparent; */
/* background-image: url("images/background1.gif"); */
/* background-repeat: repeat-x; */
/* background-color: #AAAACC; */

 border:1px solid #3e5b8e;
 padding-top: 0px;
 padding-bottom: 2px;
 padding-left: 2px;
 padding-right: 2px;
 font-size:100%;
}

div#navbar h3 {text-align: center}
div#navbar h2 {text-align: center;
	       color: #ffffff;
	       background-color: #3e5b8e;
	       margin-top: 0.3em;
	       margin-bottom: 0.1em;
	       padding: 2px 0.6em 2px 0.6em;
	       border: 1px solid #000000;
               font-size: 1.1em;}

div#navbar a.h2 { 
	     background-color: #3e5b8e;
             color: #ffffff;
             margin-top: 0em;
             margin-bottom: 0em;
	     padding: 0px ;
	     border: 0px ;
}

div#navbar a.h2:hover { 
	     border: 0px ;
}

div#navbar ul { margin: 0 0 0.5em 0;
                padding: 0;
                list-style-type: none;
                background-color: transparent;
}

div#navbar ol { margin: 0 0 0.5em 0;
                padding: 0;
                list-style-type: none;
                background-color: transparent;
}

div#navbar li { margin: 2px 0 0 1em; 
                background-color: transparent;
                padding: 0;	
}

div#navbar p { margin: 2px 0 0; 
}

div#navbar a { display: block;
	       width: auto ;
	       padding: 2px 0.6em 2px 0.6em;
	       border: 1px solid #000000;
	       text-indent: 0em;
	       text-decoration: none;
	       color: #3e5b8e;
	       background-color:#ffffff;
	       /* background: #dcdcdc;  */
}

div#navbar a.navselected { 
	       background-color:#ffffBB;
}

/*
div#navbar a:link, #list-menu a:active, #list-menu a:visited {
color: #3e5b8e; text-decoration:none;
}*/

div#navbar a:hover {border: 1px solid #000000;
	   	    /* background: #333333 url(Images/navbar_lnbg.gif); */
		    background: #3e5b8e;
                    color: #ffffff;
}
div#navbar a.navselected:hover {border: 1px solid #000000;
		    background: #ffffBB;
                    color: #662387;
}

/* No navbar so pad a bit to make content easier to read */
div#content {margin-left: 6em;
	     margin-right: 6em;
	     margin-top: 2em;
	     margin-bottom: 2em;
}