
BODY {background-color: white; color: black; font-family: sans-serif; }

table.all {
  width: 100%;
  height: 80%;
  background-color: white;
  border-spacing: 0pt; }
/* this table contains the rest of the page */

td.side    {background-color: #FF6715; width: 6%}
/*td.side    {background-color: #FF6600; width: 6%}*/
td.title   {padding: 4pt; font-size: xx-large; font-weight: bold}
td.body {
  padding: 1ex;
}
td.args    {padding: 0pt 1ex 0pt 0pt;}

/*******************************************************************/
/* navigation */
/*tr.headnav {background-color: #009900}*/
tr.headnav {background-color: #00C500}
/*******************************************************************/
/* navigations spinne                                              */
table.spider {padding: 1pt}

tr.hood {font-size: x-small; color: black}
tr.hood a:visited {color: black}
tr.hood a:active  {color: #0D56F6}
tr.hood a:link    {color: black} 

tr.path {color: white; font-size: medium}
tr.path a:visited {color: white}
tr.path a:active  {color: #0D56F6}
tr.path a:link    {color: white} 



span.order {
  color: blue;
  font-weight: normal;
  font-size: small;
  text-decoration: none;
  padding-left: 0.2em;
  padding-right: 0.2em;
}
span.order a:link {
  color: blue;
  text-decoration: none;
}
span.order a:vistited {
  color: blue;
  text-decoration: none;
}
span.order a:hover {
  color: gray;
  text-decoration: none;
}

span.highorder {
  color: red;
  font-weight: normal;
  font-size: small;
  text-decoration: none;
  padding-left: 0.2em;
  padding-right: 0.2em;
}
span.highorder a:link {
  color: red;
  text-decoration: none;
}
span.highorder a:vistited {
  color: red;
  text-decoration: none;
}
span.highorder a:hover {
  color: gray;
  text-decoration: none;
}

span.expand {
  color: blue;
  font-weight: normal;
  font-size: small;
  text-decoration: none;
  padding-left: 0.2em;
  padding-right: 0.2em;
}
span.expand a:link {
  color: blue;
  text-decoration: none;
}
span.expand a:vistited {
  color: blue;
  text-decoration: none;
}
span.expand a:hover {
  color: gray;
  text-decoration: none;
}


/* For help tables and stuff */

div.help {
  }

div.table {
  margin: 1ex 3ex;
  }

div.options {
  font-size: small;
  margin: 3ex 3ex; }
span.option {
  font-size: small; }
div.hint {
  font-size: small;
  margin-top: -1ex;
  margin-bottom: 0ex;
}
span.hint {
  font-size: small;
}

table.help {
  border-collapse: collapse;
  border: 3px groove;
  border-spacing: 1ex;
  background-color: #eeeeee;
  width: 90%; }

table.help TH {
  padding-left: 2ex;
  padding-right: 1ex;
  padding-top: 2ex;
  padding-bottom: 0.5ex;
  text-align: left;
  font-weight: bold;
  font-size: small; }

table.help TD {
  padding-left: 2ex;
  padding-right: 1ex;
  padding-top: 0.5ex;
  padding-bottom: 0.5ex;
  text-align: left; }

table.menu {
  border-collapse: collapse;
  border-spacing: 1em;
}
table.menu TR {
  color: white;
  font-size: medium;
}
table.menu TD {
  padding-left: 4mm;
  padding-right: 4mm;
  padding-top: 1ex;
  padding-bottom: 0ex;
  text-align: left;
}
table.menu TR A:visited { color: white; text-decoration: none; }
table.menu TR A:link { color: white; text-decoration: none; }
table.menu TR A:hover { color: white; text-decoration: underline; }
table.menu TR A:active { color: white; text-decoration: none; }

table.submenu {
  border-collapse: collapse;
  border-spacing: 1em;
}
table.submenu TR { 
  color: blue;
  font-size: small;
}
table.submenu TD {
  padding-left: 4mm;
  padding-right: 4mm;
  padding-top: 1mm;
  padding-bottom: 1mm;
  text-align: left;
}
table.submenu TR A:visited { color: blue; text-decoration: none; }
table.submenu TR A:link { color: blue; text-decoration: none; }
table.submenu TR A:hover { color: darkred; text-decoration: none; }
table.submenu TR A:active { color: red; text-decoration: none; }

/* top navigation bar                                  */
table.tu {
  border-collapse: collapse;
  border-spacing: 1em;
  margin-left: 3mm;
  margin-right: 3mm;
}
table.tu TR {
  color: white;
  font-size: medium;
}
table.tu TD {
  padding-left: 1mm;
  padding-right: 1mm;
  padding-top: 1mm;
  padding-bottom: 1mm;
  text-align: left;
}
table.tu TR A:visited { color: white; text-decoration: none; }
table.tu TR A:link { color: white; text-decoration: none; }
table.tu TR A:hover { color: white; text-decoration: underline; }
table.tu TR A:active { color: white; text-decoration: none; }


td.keyword {
  font-size: medium;
  font-family: monospace; 
  font-style: normal;
  color: blue;
  text-align: left
}

td.description {
  font-size: small;
  font-style: normal;
  text-align: left;
}

span.keyword {
  font-family: monospace;
  font-style: normal;
  font-size: medium;
  color: blue;
}

span.shyref a:link {
  text-decoration: none;
  color: black;
}
span.shyref a:visited {
  text-decoration: none;
  color: black;
}
span.shyref a:hover {
  text-decoration: none;
  color: blue;
}
span.shyref a:active {
  text-decoration: none;
  color: black;
}



table.query {
  margin-left: 4cm;
}


div.result { text-align: center; }



table.result {
  border-collapse: collapse;
  border: 3px groove; 
  background-color: #eeeeee;
}
table.result TR:hover {
  background-color: #ffffff;
}
table.result TH {
  border-bottom: 3px groove;
  border-top: 3px groove;
  border-left: 1px groove;
  border-right: 1px groove;
  padding-left: 1ex;
  padding-right: 1ex;
  padding-top: 0.5ex;
  padding-bottom: 0.5ex;
  text-align: center;
  font-weight: bold;
  font-size: small;
}
table.result TD {
  border: groove 1px #cccccc;
  padding-left: 1ex;
  padding-right: 1ex;
  padding-top: 0.5ex;
  padding-bottom: 0.5ex;
  text-align: center;
  font-size: small;
}

/* TABLE {
  border-collapse: collapse;
  border: 5px solid yellow; }
TD             { border: 1px solid red; padding: 1em; }
TD.solid-blue  { border: 5px dashed blue; }
TD.solid-green { border: 5px solid green; } */


td.now {background-color: white; color: #00C500; font-size: medium}

/*******************************************************************/
table.alpha {padding: 1pt; color: white; font-size: medium} 
/* alphabet navigation bar on index pages           */
table.alpha a:visited {color: white}
table.alpha a:active  {color: #0D56F6}
table.alpha a:link    {color: white} 


div.author {
}
span.author {
}
span.author A:visited { color: #000060; text-decoration: none; }
span.author A:link { color: #000060; text-decoration: none; }
span.author A:hover { color: #000060; text-decoration: underline; }
span.author A:active { color: #000060; text-decoration: none; }

ul.author {
  padding-bottom: 0.5ex;
}
ul.author li {
  padding-bottom: 0ex;
}

div.contrib {
}
span.contrib {
}
span.contrib A:visited { color: #000060; text-decoration: none; }
span.contrib A:link { color: #000060; text-decoration: none; }
span.contrib A:hover { color: #000060; text-decoration: underline; }
span.contrib A:active { color: #000060; text-decoration: none; }

span.contribhint {
  font-size: small;
}
span.contribhint A:visited { color: #000060; text-decoration: none; }
span.contribhint A:link { color: #000060; text-decoration: none; }
span.contribhint A:hover { color: #000060; text-decoration: underline; }
span.contribhint A:active { color: #000060; text-decoration: none; }

ul.contrib {
  padding-bottom: 0.5ex;
}
ul.contrib li {
  padding-bottom: 0.5ex;
}


/*******************************************************************/
/* table of content */
ul.toc {list-style-type: none;
        text-indent: 0em;
        marker-offset: 0em;
        padding: 0em 0em 0em 1em }
ul.toc li  {padding: 2pt 0ex 0ex 0ex;
            font-size: large; 
            font-weight:normal;
            color: #0D56F6
            }
ul.toc li a:visited {color: #0D56F6}
ul.toc li a:active  {color: #0D56F6}
ul.toc li a:link    {color: #0D56F6}

/* smaller toc entries.  for less significant entries   */
/* e.g. download on the kash page in the manual version */ 
li.tocs {
  padding: 2pt 0ex 0ex 0ex;
  font-size: medium;
  font-weight: normal;
}

/***********************************************************/
/* body                                                    */                  
/***********************************************************/

th a:visited { font-weight: normal; color: #0d56f6 }
th a:active { font-weight: normal; color: #0d56f6 }
th a:link { font-weight: normal; color: #0d56f6 }

td a:visited { font-weight: normal; color: #0d56f6 }
td a:active { font-weight: normal; color: #0d56f6 }
td a:link { font-weight: normal; color: #0d56f6 }

em {font-style: normal; color: #0D56F6}
/* this is used for math mode                       */
/* all inline formulas should be in <em> </em> tags */

div.math {font-style: normal; color: #0D56F6; text-align: center}
/* display math mode:                               */
/* formulas centered on a seperate line             */

div.sig { font-style: normal; color: #00c500; text-align: left }

div.purpose { font-style: normal; color: #000000; text-align: left }

div.example {
  font-style: normal;
  font-family: courier;
  color: #00c500;
  text-align: left;
  white-space: pre 
}

div.changelog {
  font-style: normal;
  font-size: small;
  font-family: courier;
  color: #000040;
  text-align: left;
  white-space: pre;
}

div.seealso { font-style: normal; color: #00c500; text-align: left }
div.see { font-style: normal; color: #00c500; text-align: left }

/* some auxiliary divisions/spans */
div.emph { font-weight: bold; color: #00c500; text-align: left }
span.emph { font-weight: bold; color: #00c500; text-align: left }
div.note { font-weight: normal; font-size: smaller; color: #00c500; text-align: left }
span.note { font-weight: normal; font-size: smaller; color: #00c500; text-align: left }
div.remark {
  font-weight: normal;
  font-size: small;
  color: #0d56f6;
  text-align: left;
}
span.remark {
  font-weight: normal;
  font-size: small;
  color: #0d56f6;
  text-align: left;
}
div.mention {
  font-weight: normal;
  font-size: x-small;
  color: #0d56f6;
  text-align: left;
}
span.mention {
  font-weight: normal;
  font-size: x-small;
  color: #0d56f6;
  text-align: left;
}
div.formfield { color: #0d56f6 }
span.formfield { color: #0d56f6 }
div.optional-formfield { color: #6da6f6 }
span.optional-formfield { color: #6da6f6 }
div.error { color: #ff0000 }

div a:visited { color: #0d56f6 }
div a:active { color: #0d56f6 }
div a:link { color: #0d56f6 }

span.code {  font-style: normal; color: #00c500; text-align: left }
span.code a:visited { color: #00c500 }
span.code a:active { color: #0d56f6 }
span.code a:link { color: #00c500 }

span.sig { font-style: normal; color: #00c500; text-align: left }
span.sig a:visited { color: #00c500 }
span.sig a:active { color: #0d56f6 }
span.sig a:link { color: #00c500 }

span.filename { font-family: courier; }

span.search {
  font-size: small;
  color: #0d56f6;
  white-space: nowrap;
  padding: 0pt 1pt 0pt 1pt;
  margin: 0pt 0pt 0pt 0pt;
}

span.space {
  font-style: normal;
  color: #00c500;
  text-align: left;
}

div.fieldtowerext {
  width: 0pt;
}
span.fieldtowerext {
  font-weight: normal;
  font-size: xx-small;
  color: black;
  margin-left: 0.2em;
}


pre  {color: #00C500}
/* multi line pieces of code */
h2.code {font-size: normal; 
         color: #00C500; 
         font-family: monospace; 
         display: block;
         margin: 2ex 2ex; 
         font-weight: normal}
h2.code a:visited {color: #00C500}
h2.code a:active {color: #0D56F6}
h2.code a:link   {color: #00C500}
/* for pages with lists of types, functions ....             */
code {color: #00C500; font-size: medium; font-family: monospace; font-weight: normal}
/* short pieces of code */
code.head {font-size: normal;
          color: #00C500; 
          font-family: monospace;
          font-weight: normal}
/* larger font for function names... on top of reference pages */
code a:visited {color: #00C500}
code a:active {color: #0D56F6}
code a:link   {color: #00C500}
/* links in code */
/* should only occur in automatically generated html, not in longdocs */
/* or other texts                                                     */


strong {font-style: bold}
strong {color: black}
/* use for emphasis */
/* for instance titles of papers */

h1 {
  font-size: xx-large;
  font-weight: bold;
}

h2 {
  font-size: x-large;
  font-weight: bold;
}

h3 {
  font-size: large;
  font-weight: bold;
  color: #0D56F6; 
  margin-top: 2ex;
  margin-bottom: 0ex;
}

h4 {
  font-size: normal;
  font-weight: bold;
  color: #0000a0;
  margin-top: 1ex;
  margin-bottom: 0ex;
}

p {
  margin-top: 0.5ex;
  margin-bottom: 0.5ex;
}

address {
  font-size: x-small;
  font-weight: normal;
  font-style: italic;
}
