body {
     background-color: white;
     color: black;

     /*margin-top: 0em;
     margin-left: 0em;
     margin-bottom: 0em;
     margin-right: 0em;*/

     /*padding-top: 0em;
     padding-right: 0em;
     padding-bottom: 0em;
     padding-left: 0em;*/

     /*border-width: medium;
     border-style: double;
     border-color: white;*/
     border: none;
}

/* Formatting the primary site boxes. */

div.boxlogo {
        background-color: white;
        color: black;
        width: 62%;

        margin-top: 0em;
        margin-left: auto;
        margin-bottom: 0.25em;
        margin-right: auto;

        border: none;

        clear: both;
}

div.boxlogo img {
            border: none;
}

div.boxbar {
       background-color: white;
       color: black;
       width: 90%;
       clear: both;

       margin-top: 0em;
       margin-left: auto;
       margin-bottom: 0em;
       margin-right: auto;

       padding-top: 0.25em;
       padding-right: 0.25em;
       padding-bottom: 1.75em;
       padding-left: 0.25em;

       border: none;
}

div.boxcontent {
           background-color: white;
           color: black;
           width: 90%;

           margin-top: 0em;
           margin-right: 0em;
           margin-bottom: 0em;
           margin-left: 1em;

           border: none;
}

div.scriptum {
             background-color: white;
             color: black;

             border-style: solid;
             border-width: thin;
             border-color: black;
}

div.boxleft {
        background-color: yellow;
        color: black;
        width: 15%;
        float: left;

        margin-top: 0em;
        margin-right: 1em;
        margin-bottom: 0em;
        margin-left: 0em;

        border-style: solid;
        border-width: thin;
        border-color: black;
}

div.boxright {
        background-color: yellow;
        color: black;
        width: 15%;
        float: right;

        margin-top: 0em;
        margin-right: 0em;
        margin-bottom: 0em;
        margin-left: 1em;

        border-style: solid;
        border-width: thin;
        border-color: black;
}

div.boxfooter {
              background-color: white;
              color: black;
              width: 90%;

              margin-top: 0em;
              margin-right: 0em;
              margin-bottom: 0em;
              margin-left: 1em;

              border: none;
}

/* Formatting the primary site text. */

h1 {
  margin-left: 0.25em;
}
h2 {
  margin-left: 0.25em;
}
h3{
  margin-left: 0.25em;
}
h4 {
  margin-left: 0.25em;
}
h5 {
  margin-left: 0.25em;
}
h6 {
  margin-left: 0.25em;
}

p {
  margin-top: 0.25em;
  margin-right: 0.25em;
  margin-bottom: 0.25em;
  margin-left: 0.25em;
}

a {
  font-weight: bold;
  text-decoration: none;
}
a:link {
       color: blue;
}
a:visited {
          color: navy;
}
a:active {

}
a:hover {
        color: red;
}

/* Some color-coded words. */

span.zyxessdk {
              color: green;
}

span.attention {
               color: red;
}

/* Center a box, instead of using the <center> HTML tag. */
/* More or less useless since it must have a size? */
div.center {
  margin-left: auto;
  margin-right: auto;
  /*width: 8em;*/
}

/* Center an image box, instead of using the <center> HTML tag. */
img.center {
  display: block;
  margin-left: auto;
  margin-right: auto;
}


/* navbar: Sets up the navigation bar, using fold-out CSS . */

div#navbar {
           float: left;
           background: white;
           width: 100%;
           border-bottom-width: 1px;
           border-bottom-style: solid;
           border-bottom-color: black;
           margin-top: -1px;
           margin-right: 0px;
           margin-bottom: 0px;
           margin-left: 0px;
}

* div#navbar {
             /* Sets the same font and size of all elements in the navbar. */
             font-size: 100%;
             font-family: arial,sans-serif;
             font-weight: bold;
}

div#navbar ul {
           margin: 0;
           padding: 0;
           list-style: none;
           background: white;
           border-top-width: 1px;
           border-top-style: solid;
           border-top-color: black;
}

div#navbar li {
           position: relative;
           width: 9em; /* org: 10em */
           line-height: 1em;
           margin: 0;
           padding: 0;
           list-style: none;
           float: left;
           border-bottom: none;
           border-right: 1px solid black;
}

div#navbar li:hover {
           background-color: #ccf;
}

div#navbar li.sub {
           background-image: url(/images/darrow.png);
           background-position: right center;
           background-repeat: no-repeat;
}

div#navbar li.sub li.sub:hover {
           background-color: #ccf;
           /* Prevent(s?) background-repeat in IE/Win. */
}

div#navbar ul li a {
           display: block;
           text-decoration: none;
           padding-top: 0.25em;
           padding-right: 0;
           padding-bottom: 0.25em;
           padding-left: 0.5em;

           width: 9em; /* org: 9.5em */

           margin: 0;
}

div#navbar>ul a {
           width: auto;
}

div#navbar ul ul {
           display: none;
           position: absolute;
           width: 9em; /* org: 10em */
}

div#navbar ul ul li {
           border-bottom-width: 1px;
           border-bottom-style: solid;
           border-bottom-color: black;
           border-left-width: 1px;
           border-left-style: solid;
           border-left-color: black;
           margin-left: -1px;
}

div#navbar li.sub li.sub {
           background-image: url(/images/darrow.png);
           background-position: right center;
           background-repeat: no-repeat;
}

div#navbar ul.level1 li.sub:hover ul.level2 {
           border-top-width: 1px;
           border-top-style: solid;
           border-top-color: black;
}

div#navbar ul.level1 li.sub:hover ul.level2,
div#navbar ul.level2 li.sub:hover ul.level3 {
           display: block;
}

div#navbar ul.level1 {
           z-index: 5;
}

div#navbar ul.level2 {
           top: 1.5em;
           left: 0;

           z-index: 6;
}

div#navbar ul.level3 {
           top: -1px;
           left: 9em; /* org 10em */
           border-top-width: 1px;
           border-top-style: solid;
           border-top-color: black;

           z-index: 7;
}