/* This is the style sheet for Actuarial Mathematics and Statistics,
Heriot-Watt University */

body {
   padding-left: 18em;
   padding-right: 0.5em;
   font-style : normal; 
   font-variant : normal; 
   font-weight : normal; 
   font-size : 10pt; 
   font-family: Verdana, Arial, Helvetica, sans-serif; 
   background-color:  #ffffff; 
}

table {
   font-style : normal; 
   font-variant : normal; 
   font-weight : normal; 
   font-size : 10pt; 
   font-family: Verdana, Arial, Helvetica, sans-serif; 
   background-color: #ffffff; 
}

hr {
}

h5 {
   margin-top : 1em; 
   margin-bottom : 0.5em; 
   font-style : normal; 
   font-variant : normal; 
   font-weight : bold; 
   font-size : 10pt; 
   font-family : Verdana, Arial, Helvetica, sans-serif; 
   color : #990000; 
}

h4 {
   margin-top : 1em; 
   margin-bottom : 0.5em; 
   font-style : normal; 
   font-variant : normal; 
   font-weight : normal; 
   font-size : 12pt; 
   font-family : Verdana, Arial, Helvetica, sans-serif; 
   color : #990000; 
}

h3 {
   margin-top : 1em; 
   margin-bottom : 0.5em; 
   font-style : normal; 
   font-variant : normal; 
   font-weight : normal; 
   font-size : 12pt; 
   font-family : Verdana, Arial, Helvetica, sans-serif; 
   color : #990000; 
}

h2 {
   font-style : normal; 
   font-variant : normal; 
   font-weight : normal; 
   font-size : 14pt; 
   font-family : Verdana, Arial, Helvetica, sans-serif; 
   color : #990000; 
}

h1 {
   margin-top : 0.3em; 
   margin-bottom : 0.3em; 
   font-style : normal; 
   font-variant : normal; 
   font-weight : normal; 
   font-size : 18pt; 
   font-family : Verdana, Arial, Helvetica, sans-serif; 
   color : #990000; 
}

a {
  text-decoration: none;
}

:link {
  color : #006699; 
}

:visited {
   color : olive; 
}

:hover {
  text-decoration: underline;
  background: #dadada;
}

:active {
   color: red;
}
  
div.header h1 {
  color: #006699; 
  background: #ffffff; 
}

div.navbar {
  position: absolute;
  top: 0.8em;
  left: 0.8em;
  width: 16.5em;
  font-style : normal; 
  font-variant : normal; 
  font-weight : normal; 
  font-size : 10pt; 
  font-family: Verdana, Arial, Helvetica, sans-serif; 
  color: #006699; 
  background-color: #e6e6e6;
  padding: 1em 0em;
  margin: 0em;
}   

div.navbar h2 {
   margin-left: 1em;
   margin-right: 1em; 
   margin-top : 0em; 
   margin-bottom : 0.3em; 
   font-style : normal; 
   font-variant : normal; 
   font-weight : normal; 
   font-size : 100%; 
   font-family : Verdana, Arial, Helvetica, sans-serif; 
   color : #990000; 
 }

div.navbar h4 {
   margin-left: 1em;
   margin-right: 1em; 
   margin-top : 0.7em; 
   margin-bottom : 0.3em; 
   font-style : normal; 
   font-variant : normal; 
   font-weight : normal; 
   font-size : 100%; 
   font-family : Verdana, Arial, Helvetica, sans-serif; 
   color : #990000; 
 }

div.navbar ul {
  list-style-type: none;
  padding: 0;
  margin-left : 2em;
  margin-right : 0em; 
  margin-top : 0em; 
  margin-bottom : 0em; 
}

div.navbar li {
    background: #dadada;
    margin: 0.2em 0em;
    padding: 0.0em 0.2em;
}

div.navbar a {
  text-decoration: none;
  color: #006699;
}

div.navbar a:link {
  color: #006699;
}

div.navbar a:visited {
  color: #006699;
}

div.navbar a:hover {
  background: #b0b0b0;
}

div.navbar a:active {
  color: red;
}

body>div.navbar {position: fixed}