ul
{
  width: auto;
  margin: 0 0 25 0;
  color: black;
  padding: 14px 20px;
  /* Rounded corner stuff starts here */
  background-color: #3f6daf;
  -webkit-border-radius: 20px;    /* for Safari */
  -moz-border-radius: 20px;       /* for Firefox */
}

p
{
  width: auto;
  margin: 0 0 25 0;
  color: black;
}

pre {
  padding: 2 50 20 50;
}

li {
  margin: 0 0 4 0;
}

h1 {
  font-size: xx-large;
  font-weight: bolder;
  text-align: center;
}


h2 {
  width: 50%;
  padding: 5 5 5 5;;
  background-color: white;
  -webkit-border-radius: 6px;
  -moz-border-radius: 6px;
  font-size: large;
  font-weight: bold;
  margin: 0 0 10 0;;
}

h3 {
  width: 50%;
  padding: 5 5 5 5;
  background-color: white;
  -webkit-border-radius: 6px;
  -moz-border-radius: 6px;
  text-decoration: underline;
  font-weight: normal;
  font-size: large;
  margin: 0 0 10 0;;
}

body {
  padding: 0 ; margin: 30px 30px 30px 30px;
  font-family: Tahoma, Andale-Mono, Bitstream Vera Sans Mono, FreeMono, 
  	       Lucida Console,
               FreeMono-Medium, lucidatypewriter, fixed, 
               Courier New;
}

ul.navbar {
  list-style-type: none;
  padding: 0;
  margin: 0;
  position: absolute;
  top: 2em;
  left: 1em;
  width: 9em;
}
ul.navbar li {
  background: white;
  margin: 0.5em 0;
  padding: 0.3em;
  border-right: 1em solid black ;
}
ul.navbar a {
  text-decoration: none; 
}
a:link { color: #5494fc; }
a:visited { color: #5494fc; }
a:hover { color: red; }
a:active { color: red; }