BODY
{
    background: #fff;
    color: #000;
    font-family: Arial,sans-serif;
    font-size: 12pt;
    /* needed so buttons created with css don't bleed into text */
    line-height: 1.3;
}

/* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
    Header definitions
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- */

H3 {
    padding-top: 1em;
    margin-right: 10px;
}
/*
H3.author, H3.othercredit {
    padding-top: 0em;
    font-style: oblique;
}
*/
H3.author, H3.othercredit, p.othercredit {
    padding-top: 0em;
    font-style: oblique;
    font-weight: bold;
    font-size: 11pt;
}
H6 {
    font-size: 11pt;
    margin: 0px;
}


/* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
    Various definitions
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- */

table {
    border-collapse: separate;
    border-spacing: 0px;
}
.application {
    font-weight: bold;
    /*  text-decoration: underline; */
    font-variant: small-caps;
    font-family: sans-serif;
}
.keycap {
    font-weight: normal;
}
.keycap:before {
    content: '[';
}
.keycap:after {
    content: ']';
}

.command {
    color: #8B0000;
    background-color: inherit;
    font-weight: bold;
}
P > SPAN > .command, P > .option {
    font-size: 11pt;
}

.replaceable {
    font-family: inherit;
    font-style: oblique;
    font-size: inherit;
}
.replaceable:before {
    content: '<';
}
.replaceable:after {
    content: '>';
}


/* -----------------------------------------------------------------
    PRE environments
----------------------------------------------------------------- */

PRE {
    /* overflow: auto; */
    white-space: -moz-pre-wrap;  /* Mozilla, supported since 1999 */
    white-space: -pre-wrap;      /* Opera 4 - 6 */
    white-space: -o-pre-wrap;    /* Opera 7 */
    white-space: pre-wrap;       /* CSS3 - Text module (Candidate Recommendation)
                                    http://www.w3.org/TR/css3-text/#white-space */
    word-wrap: break-word;       /* IE 5.5+ */
}

PRE.synopsis
{
    font-size: 10pt;
    color: #000;
    background: inherit;
    padding-left: 1em;
    padding-right: 1em;
    padding-top: 0.5em;
    padding-bottom: 0.5em;
    margin-right: 20px;
    border: 0px solid #000;
}

PRE.programlisting
{
  font-size: 10pt;
  color: #000;
  background-color: #FFFADF;
  padding-left: 1em;
  padding-right: 1em;
  padding-top: 0.5em;
  padding-bottom: 0.5em;
  margin-right: 20px;
  margin-bottom: 3px;
  border: 1px solid #CDC9A5;
  margin-top: 20px;
/*  -moz-border-radius: 3px; */
}

PRE.programlisting:before
{
  display: block;
  content: "Listing";
  font-weight: bold;
  font-size: 8pt;
  width: 10em;
  margin-bottom: 10px;;
  margin-top: -14px;;
  margin-right: 0;
  margin-left: 0;
  background: #fff;
  color: #555;
  border: 1px solid #CDC9A5;
  text-align: left;
  padding: 0em 0em 0em 0.5em;
}


PRE.screen
{
  font-size: 10pt;
  color: #000;
  background: #f4f4f4;
  padding-left: 1em;
  padding-right: 1em;
  padding-top: 0.5em;
  padding-bottom: 0.5em;
  margin-right: 20px;
  /* border: 1px solid #e4e4e4; */

  border-top: 1px dashed #aaa;
  border-bottom: 1px dashed #aaa;
  margin-left: 20px;
  margin-right: 20px;
}
pre.screen .replaceable
{
  font-size: smaller;
}

PRE.screen .command .replaceable {
    font-size: 10pt;
}





.guibutton {
    color: #000;
    background-color: #ddd;
    border: 2px outset #000;
    font-size: 10pt;
    font-weight: bold;
    padding-top: 0px;
    padding-bottom: 0px;
    padding-right: 5px;
    padding-left: 5px;
}

.guimenu {
    font-weight: bold;
    text-decoration: underline;
}
.guimenuitem {
    font-weight: bold;
}

.literal {
    font-family: courier, monospace;
}

.filename {
    font-family: inherit;
    color: #006400;
    background-color: inherit;
 }
/*
.filename > .replaceable {
    font-size: 11pt;
}
*/

.option { 
    font-weight: bold;
    font-family: helvetica, arial, sans-serif;
}


/*
   ---- LaTeX stuff ----
*/
.lowE  {
  position: relative;
  bottom: -0.5ex;
  text-transform: uppercase;
  margin-left: -0.1667em;
  margin-right: -0.125em;
}
.highA { 
  vertical-align: text-top;
  text-transform: uppercase;
  margin-left: -0.36em;
  margin-right: -0.15em;
  font-size: smaller;
}

/* Preamble stuff */
DIV.legalnotice
{
  color: #888;
  background-color: inherit;
  font-size: 8pt;
  margin-right: 8%;
  padding-left: 10px;
  padding-right: 10px;
}
DIV.affiliation, DIV.authorgroup, P.copyright
{
  font-size: 10pt;
}

/* FAQ stuff */
DIV.qandaset DD A
{
  font-size: smaller;
  text-decoration: none;
}
DIV.qandaset DT A
{
  text-decoration: none;
}
DIV.qandaset DT A:hover
{
  text-decoration: underline;
  color: red;
  background-color: inherit;
}
DIV.qandaset DD
{
  margin-bottom: 5px;
}
DIV.qandaset H4
{
  margin-top: 80px;
  margin-bottom: 0px;
  padding-top: 0.8em;
  padding-bottom: 0.8em;
  padding-left: 2em;
  padding-right: 1em;
  font-size: 18pt;
  border: 2px solid #700;
  color: #fff;
  background-color: #a00;
  -moz-border-radius: 20px;
  margin-right: 20px;
}
DIV.qandaset TR.toc dl {
  padding: 1em;
  color: #000;
  background-color: inherit;
  margin-right: 20px;
}
DIV.qandaset TR.question
{
  color: #000;
  background-color: inherit;
}
DIV.qandaset TR.question TD
{
  font-size: 120%;
  font-weight: bold;
  padding-top: 40px;
}


blockquote
{
  font-style: oblique;
  font-family: helvetica, arial,sans-serif;
  font-size: 10pt;
  border: 1px solid #aaa;
  padding: 0.5em;
}


div.sect3
{
  margin-left: 2em;
}
div.sect3 h4
{
  margin-left: -1em;
}
span.sect2, span.sect3
{
  font-size: smaller;
}

div.toc
{
  font-size: medium;
}

div.example
{
  -moz-border-radius: 10px;
  font-size: 85%;
  color: #000;
  background-color: #FFF3F3;
  padding-left: 1em;
  padding-right: 1em;
  padding-top: 0.5em;
  padding-bottom: 0.5em;
  margin-right: 20px;
  margin-bottom: 3px;
  border: 1px solid #FFC0C1;
  margin-top: 20px;
}
div.example:before
{
  display: block;
  content: "Eksempel";
  font-weight: bold;
  font-size: smaller;
  width: 8em;
  margin-bottom: 10px;;
  margin-top: -15px;;
  margin-right: 0;
  margin-left: 0;
  background: #8B0000;
  color: #fff;
/*  border: 1px solid #CDC9A5; */
  border: 1px solid #FFC0C1;
  text-align: left;
  padding: 0.15em;
  padding-left: 0.5em;
}

div.important, div.note, div.tip, div.warning, div.caution
{
    color: #000;
    background-color: #F0F8FF;
    padding: 10px;
    -moz-border-radius: 10px;
    border: 1px solid #B0C4DE;
    margin-bottom: 2px;
}
div.important, div.warning, div.caution
{
    background-color: #FFFF88;
    border: 2px solid #c00;
}
div.important p, div.note p, div.tip p, div.warning p, div.caution p
{
    font-size: 85%;
}
div.important ul, div.note ul, div.tip ul, div.warning ul, div.caution ul
{
    font-size: 85%;
}
div.important td:first-child, div.note td:first-child, div.tip td:first-child, div.warning td:first-child, div.caution td:first-child
{
    padding-right: 0.5em;
}


/* Simplelist */
div.list table.simplelist, div.configure table.simplelist {
    border: 0px;
}
div.list table.simplelist td, div.configure table.simplelist td {
    border: 0px;
    font-weight: normal;
}
div.list table.simplelist td:first-child, div.configure table.simplelist td:first-child {
    border: 0px;
    font-weight: normal;
    color: inherit;
    background-color: inherit;
}



/* Configure table */
DIV.configure TABLE, table.configure
{
  font-family: helvetica, arial,sans-serif;
  font-size: 10pt;
  padding: 0px;
  border: 1px solid #000;
  width: 96%;
}
DIV.configure TD, table.configure td
{
  background-color: transparent;
  color: #000;
  vertical-align: top;
  padding: 0.4em;
  border-color: #bbb;
  border-style: solid;
  border-width: 0px 0px 1px 1px;
}
DIV.configure TD:first-child, table.configure TD:first-child
{
  width: 20%;
  background-color: #eee;
  color: #8B0000;
  font-weight: bold;
  padding-right: 0.5em;
  padding-left: 0.5em;
  border-width: 0px 0px 1px 0px;
}
DIV.configure TH, table.configure TH
{
  color: #fff;
  background-color: #777;
  padding: 0.2em;
  border-color: #000;
  border-style: solid;
  border-width: 0px 0px 1px 1px;
}
DIV.configure TH:first-child, table.configure TH:first-child
{
  border-width: 0px 0px 1px 0px;
}
DIV.configure .replaceable, table.configure .replaceable
{
  font-size: 10pt;
}
DIV.configure .option, table.configure .option
{
  font-size: 10pt;
  font-family: helvetica, arial,sans-serif;
  text-decoration: underline;
}

/* LIST table */
DIV.list TABLE, table.list
{
  font-size: 10pt;
  padding: 0px;
  border-width: 0px 1px 0px 1px;
  border-style: solid;
  border-color: #aaa;
  width: 90%;
  margin-left: 1em;
  margin-right: 1em;
}
DIV.list TD, table.list TD
{
  vertical-align: top;
  margin: 0px;
  padding: 0.2em;
  border-width: 0px 0px 1px 0px;
  border-color: #aaa;
  border-style: solid;
}
DIV.list TD:first-child, table.list TD:first-child
{
  background-color: #fff;
  color: #000;
  font-weight: bold;
  margin: 0px;
  padding-left: 1em;
  padding-right: 0.5em;
  border-width: 0px 0px 1px 0px;
  border-color: #aaa;
  border-style: solid;
}
DIV.list TD:first-child .filename, table.list TD:first-child .filename
{
  font-weight: normal;
}
DIV.list TH:first-child, table.list TH:first-child
{
  border-width: 1px 1px 1px 0px;
}
DIV.list TH, table.list TH
{
  color: #888;
  margin: 0px;
  background-color: #eeeeee;
  padding: 0.2em;
  border-width: 1px 1px 1px 0px;
  border-style: solid;
  border-color: #aaa;
}
DIV.list TH:last-child, table.list TH:last-child
{
  border-width: 1px 0px 1px 0px;
  border-style: solid;
  border-color: #aaa;
}
DIV.list CAPTION, table.list CAPTION
{
  font-size: 10pt;
  text-align: left;
  font-weight: bold;
  margin-left: 3%;
}


/* LIST table */
DIV.list2 TABLE, table.list2
{
  font-family: helvetica, arial,sans-serif;
  font-size: 10pt;
  padding: 0px;
  border-width: 0px 1px 0px 1px;
  border-style: solid;
  border-color: #aaa;
  width: 90%;
  margin-left: 5%;
  margin-right: 5%;
}
DIV.list2 TD, table.list2 TD
{
  vertical-align: top;
  margin: 0px;
  padding: 0.2em;
  border-width: 0px 0px 1px 0px;
  border-color: #aaa;
  border-style: solid;
}
DIV.list2 TD:first-child, table.list2 TD:first-child
{
  background-color: #fff;
  color: #000;
  font-weight: bold;
  margin: 0px;
  padding-right: 0.5em;
  border-width: 0px 0px 1px 0px;
  border-color: #aaa;
  border-style: solid;
}
DIV.list2 TD:first-child .filename, table.list2 TD:first-child .filename
{
  font-weight: normal;
}
DIV.list2 TH:first-child, table.list2 TH:first-child
{
  border-width: 1px 1px 1px 0px;
}
DIV.list2 TH, table.list2 TH
{
  color: #888;
  margin: 0px;
  background-color: #eeeeee;
  padding: 0.2em;
  border-width: 1px 1px 1px 0px;
  border-style: solid;
  border-color: #aaa;
}
DIV.list2 TH:last-child, table.list2 TH:last-child
{
  border-width: 1px 0px 1px 0px;
  border-style: solid;
  border-color: #aaa;
}
DIV.list2 CAPTION, table.list2 CAPTION
{
  font-size: 10pt;
  text-align: left;
  font-weight: bold;
  margin-left: 3%;
}


/* Media objects (images etc.) */
DIV.mediaobject IMG {
  margin-left: 15px;
}
DIV.figure {
  margin-top: 15px;
  margin-right: 20px;
  padding: 5px 15px 5px 15px;
  text-align: left;
}
div.figure p.title {
  font-size: smaller;
}
div.figure div.caption {
  font-size: smaller;
  font-style: oblique;
}

div.informalfigure {
  float: right;
  margin-right: 30px;
}
div.informalfigure .caption {
  font-size: smaller;
  text-align: center;
  font-weight: bold;
}


/* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
    NAV-header/footer definitions
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- */


.navheader, .navfooter {
    color: #000;
    background-color: #ccc;
    border: 1px solid #555;
}
.navheader HR, .navfooter HR {
    display: none;
}
/*
.navheader {
    margin-left: -45px;
}
*/
.navheader table th {
    color: #B04000;
    background-color: inherit;
}
.navfooter table td {
    color: #B04000;
    background-color: inherit;
    font-weight: bold;
}

/* Hvis images */
.navheader IMG, .navfooter IMG {
    border: none;
}    

/* Hvis text */
/*
.navheader A, .navfooter A {
    font-size: small;
    color:#fff;
    background-color: #05a;
    text-decoration: none;
    font-weight: bold;
    padding: 2px 12px 2px 12px;
    border: 1px outset #000;
    -moz-border-radius: 8px;
}
.navheader A:hover, .navfooter A:hover {
    color:#fff;
    background-color: #c00;
}
.navheader A:active, .navfooter A:active {
    border: 1px inset #000;
}
*/