@charset "iso-8859-1";

/* ----------------------------------------------------- presets */

body, h1, h2, h3, h4, h5, p, a
  { font-family : verdana, geneva, arial, helvetica, sans-serif;
    font-size: 9pt;
    color: #000000;
  }

p, li
  { line-height: 14pt;
  }

h1, h2, h3, h4, h5
  { font-family: arial, helvetica, sans-serif;
    margin-top: 2.5em;
    margin-bottom: 1em;
  }

body
  { text-align: left;
    margin: 0px;
    padding: 0px;
    background-image: url(../images/background.png);
    background-repeat: repeat-y;
  }

p
  { margin: 0px 0px 15px 0px;
  }

img
  { margin: 0px;
    border: 0px;
  }

form
  { margin: 0px;
  }

.first
  { margin-top: 0px;
  }

/* ----------------------------------------------------- header */

div.header
  { background-image: url(../images/header.png);
    width: 800px;
    height: 175px;
  }

div.header div.logo
  { position: absolute;
    top: 0px;
    left: 623px;
  }

div.header div.logo a
  { display: block;
    text-decoration: none;
    width: 177px;
    height: 100px;
    background: transparent;
  }

/* ----------------------------------------------------- margins */

div.left-margin
  { position: absolute;
    left: 0px;
    width: 155px;
    padding-left: 30px;
  }

div.right-margin
  { position: absolute;
    left: 623px;
    width: 150px;
    padding-left: 17px;
    padding-right: 10px;
  }

/* ----------------------------------------------------- top-menu */

ul.top-menu
  { list-style-type: none;
    position: absolute;
    left: 185px;
    top: 10px;
    margin: 0px;
    padding: 0px;
  }

ul.top-menu li a
  {
    display: block;
    text-decoration: none;
    width: 135px;
    height: 19px;
    background: transparent;
  }

ul.top-menu li.top-menu-opus a:hover
  { background-image: url(../images/menu_opus.png);
  }

ul.top-menu li.top-menu-atlas a:hover
  { background-image: url(../images/menu_atlas.png);
  }

ul.top-menu li.top-menu-products a:hover
  { background-image: url(../images/menu_products.png);
  }

ul.top-menu li.top-menu-opensource a:hover
  { background-image: url(../images/menu_opensource.png);
  }

ul.top-menu li.top-menu-support a:hover
  { background-image: url(../images/menu_support.png);
  }

/* ----------------------------------------------------- icon-menu */

div.top-icons
  { position: absolute;
    left: 719px;
    top: 100px;
    margin: 0px;
    padding: 0px;
  }

div.top-icons div
  { float: left;
    margin-right: 7px;
  }

div.top-icons div a
  { display: block;
    text-decoration: none;
    width: 20px;
    height: 20px;
    background: transparent;
  }

div.top-icons div.top-icon-sitemap a:hover
  { background-image: url(../images/icon_sitemap.png);
  }

div.top-icons div.top-icon-mail a:hover
  { background-image: url(../images/icon_mail.png);
  }

div.top-icons div.top-icon-printer
  { margin-right: 0px;
  }

div.top-icons div.top-icon-printer a:hover
  { background-image: url(../images/icon_printer.png);
  }

/* ----------------------------------------------------- breadcrumbs */

div.breadcrumbs
  { position: absolute;
    left: 185px;
    top: 120px;
    color: #666666;
    padding: 3px 0px 0px 0px;
  }

div.breadcrumbs, div.breadcrumbs a
  { font-size: 7.5pt;
  }

div.breadcrumbs a
  { text-decoration: none;
    color: #003366;
  }

div.breadcrumbs a:hover
  { text-decoration: underline;
    color: #000000;
  }

/* ----------------------------------------------------- contentpane */

div.contentpane
  { position: absolute;
    left: 185px;
    width: 415px;
    padding-right: 23px;
    margin-top: 0px;
  }

div.contentpane h1
  { font-size: 1.4em;
    font-weight: bold;
    color: #6687A0;
    letter-spacing: 1.5px;
  }

/*
div.contentpane h2
  { font-size: 1.2em;
  }

div.contentpane h3
  { font-size: 1.0em;
  }

div.contentpane h4
  { font-size: 1.0em;
    font-weight: normal;
    font-style: italic;
  }

div.contentpane h5
  { font-size: 1.0em;
    font-weight: normal;
  } 
*/

div.contentpane p
  { margin-bottom: 1.5em;
  }

div.contentpane ul
  { list-style-image: url(../images/bullet_whsq.gif);
    margin-bottom: 2em;
  }

div.contentpane li
  { margin-top: 0.3em;
    margin-bottom: 0.3em;
  }

div.contentpane img.floatleft
  { float: left;
    clear: left;
    margin: 4px 4px 4px 0px;
  }

div.contentpane img.floatright
  { float: right;
    clear: right;
    margin: 4px 0px 4px 4px;
  }

/* ----------------------------------------------------- menu */

div.menu
  {
  }

div.menu div, div.menu a
  { font-size: 8pt;
    font-weight: normal;
    color: #013266;
    margin: 3px 0px 3px 0px;
  }

div.menu a
  { background-color: transparent;
    text-decoration: none;
    display: block;
  }

div.menu a:hover
  { text-decoration: underline;
  }

div.menu div
  { padding: 0px 0px 0px 12px;
  }

div.menu a.top
  { font-weight: bold;
  }

div.menu a.top#current-top
  { color: #0099CC;
  }

div.menu div.current
  { padding: 0px;
  }

div.menu div.marker
  { padding: 0px;
    position: relative;
    left: -12px;
    width: 0em;
    float: left;
    font-weight: bold;
    margin: 0px;
  }

/* ----------------------------------------------------- copyright */

div.copyright
  { margin-top: 40px;
  }

div.copyright p
  { color: gray;
    font-size: 0.8em;
    margin: 0em;
  }

/* ----------------------------------------------------- margin-right */

div.right-margin h1, div.right-margin p
  { color: #003366;
  }

div.right-margin h1
  { font-weight: bold;
    letter-spacing: 1px;
  }

div.right-margin p
  { line-height: 1.5em;
    margin-bottom: 1em;
  }

/* ----------------------------------------------------- code-block */

div.code-block
  { border: 1px solid #666666;
    background: #FFFFFF;
    margin: 4px 0px 4px 0px;
  }

.code-block .de1, .code-block .de2
  { font-family: monospace;
    font-weight: normal;
    font-style: normal;
    margin: 0px;
    padding: 0px;
    background: inherit;
  }

.code-block
  { font-family: monospace;
  }

.code-block .imp
  { font-weight: bold;
    color: red;
  }

.code-block li, .code-block .li1
  { font-weight: normal;
  }

.code-block .ln
  { width: 1px;
    font-weight: normal;
    text-align: right;
    margin: 0px;
    padding: 0px 2px;
  }

.code-block .kw1
  { color: #000000;
    font-weight: bold;
  }

.code-block .kw2
  { color: #000000;
    font-weight: bold;
  }

.code-block .kw3
  { color: #000066;
  }

.code-block .kw4
  { color: #000066;
    font-weight: bold;
  }

.code-block .co1
  { color: #808080;
    font-style: italic;
  }

.code-block .co2
  { color: #008000;
    font-style: italic;
  }


.code-block .coMULTI
  { color: #808080;
    font-style: italic;
  }

.code-block .es_h
  { color: #ff0000;
    font-weight: bold;
  }

.code-block .br0
  { color: #000066;
  }

.code-block .sy0
  { color: #000066;
  }

.code-block .sy1
  { color: #000066;
  }

.code-block .sy2
{ color: #000066;
}

.code-block .sy3
  { color: #000066;
  }

.code-block .st0
  { color: #ff0000;
  }

.code-block .nu0
  { color: #0000ff;
  }

.code-block .me1
  { color: #006600;
  }

.code-block .re0
  { color: #9ac;
  }

.code-block .re1
  { color: #ff0000;
  }

.code-block span.xtra
  { display:block;
  }