a.nolinkline {
    background-color : #eeeeff;
    color : #0000ff;
    text-decoration : none;
  }


h1,h2,h3 {
    color : #0000ff;
    margin-top : 2.5ex;
  }


.header {
    background-color : #eeeeff;
    border-bottom-color : #0000ff;
    border-bottom-style : dotted;
    border-bottom-width : 2px;
    color : #0000ff;
    margin-bottom : 2ex;
    padding-bottom : 1.5ex;
    padding-left : 1.5ex;
    padding-right : 1.5ex;
    padding-top : 1.5ex;
    width : 100%;
  }


.header-logo {
    font-size : 60pt;
    font-weight : bold;
    text-decoration : none;
  }


.header-menu {
    font-size : 14pt;
    text-align : right;
    text-decoration : none;
    vertical-align : middle;
  }


td {
    padding-bottom : 1ex;
    padding-left : 1ex;
    padding-right : 1ex;
    padding-top : 1ex;
    vertical-align : top;
  }


tr.alt1 {
    background-color : #eeeeff;
    color : #000000;
  }


tr.alt2 {
    background-color : #ffffff;
    color : #000000;
  }


.infobox {
    background-color : #eeeeff;
    border-bottom-color : #0000ff;
    border-bottom-style : dotted;
    border-bottom-width : 1px;
    border-left-color : #0000ff;
    border-left-style : dotted;
    border-left-width : 1px;
    border-right-color : #0000ff;
    border-right-style : dotted;
    border-right-width : 1px;
    border-top-color : #0000ff;
    border-top-style : dotted;
    border-top-width : 1px;
    color : #000000;
    padding-bottom : 1ex;
    padding-left : 1ex;
    padding-right : 1ex;
    padding-top : 1ex;
  }


.warningbox {
    background-color : #ffdfdf;
    border-bottom-color : #ff0000;
    border-bottom-style : dotted;
    border-bottom-width : 1px;
    border-left-color : #ff0000;
    border-left-style : dotted;
    border-left-width : 1px;
    border-right-color : #ff0000;
    border-right-style : dotted;
    border-right-width : 1px;
    border-top-color : #ff0000;
    border-top-style : dotted;
    border-top-width : 1px;
    color : #000000;
    font-weight : bold;
    padding-bottom : 1ex;
    padding-left : 1ex;
    padding-right : 1ex;
    padding-top : 1ex;
  }


.specification {
    background-color : #fff2df;
    border-bottom-color : #ff9500;
    border-bottom-style : dotted;
    border-bottom-width : 1px;
    border-left-color : #ff9500;
    border-left-style : dotted;
    border-left-width : 1px;
    border-right-color : #ff9500;
    border-right-style : dotted;
    border-right-width : 1px;
    border-top-color : #ff9500;
    border-top-style : dotted;
    border-top-width : 1px;
    color : #000000;
    margin-left : 2.5em;
    margin-right : 2.5em;
    padding-bottom : 1ex;
    padding-left : 1ex;
    padding-right : 1ex;
    padding-top : 1ex;
  }

body {
    margin-left:0;
    margin-right:0;
    margin-top:0;
    background-color:#f9f9ff;
    font-family:Verdana,Arial,Helvetica,'Sans Serif';
    color: #000;
  }

.body {
    padding-left : 1em;
    padding-right : 1em;
  }