/* body */
body {
    margin: 0em; /* no margin */
    font-family: Geneva, Arial, Helvetica, sans-serif;
    font-size: 1em; /* we use relativ sizes below */
    font-weight: normal;
    color: #000000;
    text-decoration: none;
}

.italic {
   font-size: 90%; /* 90 percent of surrounding object text size */
   font-style: italic;
   text-decoration: none;
}

/*
 * format the divs
 */


/* search box */ 
div.search {
    position: absolute;
    left: 20px;
    top: 145px;
    font-size: 80%;
    width: 145px;
    font-family : Geneva, Arial, Helvetica, sans-serif;
    border: 1px solid #666666;
    text-align: center;
    padding: 2px;
    margin-bottom: 20px;
}

.search input {
    padding: 0px;
    margin: 0px;
    border: 1px solid #000000;
}

.search form {
    padding: 2px;
    margin: 2px;
}

.search p {
    padding: 0px;
    margin: 0px;
}

/* navigation div */

div#navbars{
    position: absolute;
    top: 235px;
    left: 20px;
    width: 170px;
    padding: 0;
}

div.navbar {
    font-size: 80%;
    width: 165px;
    font-family : Geneva, Arial, Helvetica, sans-serif;
    border: 1px solid #666666;
    text-align: left;
    padding: 2px;
    margin-bottom: 20px;
}

.navbar p {
    padding: 0px;
    padding-top: 1px;
    padding-left: 2px;
    padding-right: 4px;
    padding-bottom: 5px;
    margin: 0px;
}

.navbar ul {
    padding: 0px;
    padding-bottom: 2px;
    padding-left: 8px;
    margin: 0px 0px 0px 2px;
    list-style-type: none;
}

.navbar h2,
.search h2 {
    font-size: 100%;
    font-weight: normal;
    text-align: center;
    color: white;
    background-color: #666666;
    padding: 0px;
    padding-bottom: 2px;
    margin-bottom: 2px;
    margin-top: -2px;
    margin-left: -2px;
    margin-right: -2px;
}

.navbar h3 {
    font-size: 100%;
    font-weight: normal;
    text-align: left;
    padding: 0px;
    padding-bottom: 3px;
    padding-left: 2px;
    margin: 0px;
}


/* do not display the print header div */
div#header-print {
    display: none;
        margin-left: 210px;
}

/* main content */
div#content {
    background-color: #FFFFFF;
    /*declare a color together with a contrasting background color*/
    margin-left: 230px;
    /*to position the content area to the right of the navigation*/
    margin-right: 30px;/*breathing space for the text*/
    padding: 5px;/*space to separate navigation and content*/
    /*font-family: Geneva, Arial, Helvetica, sans-serif;*/
    font-family : Verdana, Geneva, Arial, Helvetica, sans-serif;
    font-size: 80%;
    width: auto;
    border: 0.1px solid #FFFFFF; 
   /*to insure that NN4.xx renders the background-color of the content area*/
}

#content a,
#content a:visited,
#content a:link,
#content a:visited {
        text-decoration: none;
        color: #333333;
}

#content a:hover {
        text-decoration: underline;
        color: #333333;
}


#content td {
    font-family : Verdana, Geneva, Arial, Helvetica, sans-serif;
    font-size: 100%;
    text-decoration: none;
}

/* definitions for the header */
div#header {
    margin-top: 0px;
    margin-left: 0px;
    height: 150px;
    white-space: nowrap;
    /*background-color: #558282;*/
    background-color: #cccccc;
}

div#logo {
    position: absolute;
    margin-top: 5px;
    margin-left: 5px;
    padding: 0px;
    width: 450px;
    height: 107px;
    background-image: url(../images/logo.png);
    background-repeat: no-repeat;
    background-position: 0px 0px;
}

#logo img {
    border: 0px;
    behavior: url(iepngfix.htc);
}

div#menlinks {
        position: absolute;
        left: 145px;
        top: 110px;
        font-family: Geneva, Arial, Helvetica, sans-serif;
        font-size: 12px;
        font-weight: normal;
        /*color: #FFFFFF;*/
        color: #000000;
        text-decoration: none;
        white-space: nowrap;
}

div#menlinks a, div#menlinks a:visited {
    /*color: #FFFFFF;*/
    color: #000000;
    margin-right: 15px;
    text-decoration: none;
}

#menlinks img {
   border: 0px;
}

/* definitions for the footer */
div.footer {
    margin-left: 240px;
    margin-top: 22px;
    font-size: 75%;
    width: 145px;
    text-align: left;
    white-space: nowrap;
}

.footer img {
   padding-right: 5px;
}

/* default settings */

h1 {
    font-size: 150%;
    font-weight: bold;
    color: #000000;
    margin-bottom: 1em;
}

h2 {
    font-size: 130%;
    font-weight: bold;
    color: #000000;
    margin-bottom: 1em;
}

h3 {
    font-size: 110%;
    font-weight: bold;
    color: #000000;
    margin-top: 1em;
}

/* we use h4 for the left div titles */
h4 {
    font-size: 100%;
    font-weight: normal;
    text-align: center;
    color: white;
    background-color: #666666;
    padding: 0px;
    padding-bottom: 2px;
    margin-bottom: 2px;
    margin-top: -2px;
    margin-left: -2px; 
    margin-right: -2px; 
}

h5 {
    font-size: 100%;
    font-weight: normal;
    text-align: left;
    padding: 0px;
    padding-bottom: 3px;
    padding-left: 2px;
    margin: 0px;
}

table {
    border-style: none;
}

table.prices {
    border-collapse: collapse;
    border: 1px solid #666666;
    text-align: left;
    padding: 2px;
}

th.prices {
    font-size: 100%;
    font-weight: normal;
    color: #FFFFFF;
    background-color: #666666;
    text-align: left;
    padding: 4px;
}

td {
    vertical-align: top;
    padding: 4px;
}

td.item {
    font-weight: bold;
    text-align: right;
}

/* no border for images */
img {
    border: 0px;
}

a, a:visited {
    text-decoration: none;
    color: #333333;
}

/* make code snippets look nice */
pre
{
  padding-top: none;
  padding-bottom: none;
  padding-left: none;
  padding-right: none;
  border: none;
  background: none
}

body pre
{
  padding: 0.2em;
  border: #e7e7e7 1px solid;
  background: #f1f1f1;
  color: black
}

pre.code_example
{
  font-size: 120%;
  padding-top: none;
  padding-bottom: none;
  padding-left: none;
  padding-right: none;
  padding: 0.2em;
  border: #e7e7e7 1px solid;
  background: #f1f1f1;
}