
body { padding-top: 65px; }

h1,h2,h3,h4,h5,h6 {

    margin-left: 25px; font-family: Arial;
}

h3 {
    padding-bottom: 0.25em;
    background-image: url("underline.png");
    background-repeat: repeat-x;
    background-position: bottom;
}

ul.normal a          { line-height: 1.8em; font-size: 0.9em;}

ul.normal_txt        { line-height: 1.5em; font-size: 0.9em; font-family: Arial;}

pre.code             { margin-left: 25px; line-height: 1.1em; font-size: 1em; background-color: #ECECEC; color: black;}

pre.console          { margin-left: 25px; line-height: 1.1em; font-size: 1em; background-color: black; color: green;}

p                    { margin-left: 25px; line-height: 1.5em; font-size: 0.9em; font-family: Arial;}

p.right, div.right   { text-align: right;  }
p.center, div.center { text-align: center; }

img.greyborder {

    padding: 2px;
    border: solid 1px rgb(60%,60%,60%);
    margin-left: 1.2em;
    margin-right: 1.2em;
}

div.cimage {

    margin-top: 1.2em;
    text-align: center;
    font-family: Arial;
}

div.caption {

    text-align: center;
    font-size: 0.85em;
    font-family: Arial;
    color: rgb(20%,20%,20%);
}

li.normal {
    font-family: Arial;
}

ul.navbar {
    list-style-type: none;
    margin: 0;
    padding: 0;
    background-color: #333;
    overflow: none;
    position: fixed;
    top: 0;
    width: 100%;
}

li.navbar {
    float: left;
}

li.navbar a, .dropbtn {
    display: inline-block;
    color: white;
    text-align: center;
    font-family: Arial;
    padding: 14px 16px;
    text-decoration: none;
}

li.navbar a:hover, .dropdown:hover .dropbtn {
    background-color: #111;
}

.dropdown {
    display: inline-block;
}

.dropdown-content {
    display: none;
    position: absolute;
    background-color: #f9f9f9;
    min-width: 160px;
    box-shadow: 0px 8px 16px 0px rgba(0,0,0,0.2);
}

.dropdown-content a {
    color: black;
    padding: 12px 16px;
    text-decoration: none;
    font-family: Arial;
    display: block;
}

.dropdown-content a:hover {background-color: #f1f1f1}

.dropdown:hover .dropdown-content {
    display: block;
}


th,td {
   border: 1px solid black;
   border-collapse: collapse;
   text-align: center;
   font-family: Arial;
   font-size: 0.9em;
   width: 80px;
   height: 25px;
}


a.anchor {
  padding-top: 75px;
  margin-top: -75px;
}

