/* Style Sheet Definitionen */
code
{
  color: #810;
  font: 12pt "Courier New", Courier, mono;
}

.center
{
  text-align: center;
}

.annotation
{
  font-size: 80%;
}

/* Syntax highlighting */
.code_cmt             { color: #008000; font-style: italic; } /* comment lines */
.code_kw              { color: Blue; }                        /* keyword */
.code_kw_lib          { color: #117799; }
.code_pp              { color: Navy; }                        /* Preprocessor directives */
.code_str             { color: Magenta;}                      /* literal strings */
.code_digit           { color: Navy; }                        /* digits */
.code_fail            { color: #ee0000; }
.code_SummaryComment  { color: #808080; }

.code_literal         { color: Navy; }
.code_pagedirective   { background-color:yellow; }
.code_attribute       { color: red;	 }
.code_tag             { color: #800000; }
.code_leadattribute   { color: #800000; }

ul.method li, li.method
{ 
  list-style-image: url("member_function.png"); 
}

ul.enum li, li.enum
{ 
  list-style-image: url("enum.png"); 
}

li.spaced
{
  padding-bottom: 10px;
}

div.title_left_large { position:fixed; 
                     top:40px; 
                     left:0px; 
                     width:62px; 
                     height:350px;
                     z-index:3; 
                     background-repeat: no-repeat;
                     background-image:url("title_left_large.png"); }

div.title_left_med { position:fixed; 
                     top:40px; 
                     left:0px; 
                     width:62px; 
                     height:288px;
                     z-index:3; 
                     background-repeat: no-repeat;
                     background-image:url("title_left_med.png"); }

div.title_left_small { position:fixed; 
                       top:40px; 
                       left:0px; 
                       width:62px; 
                       height:288px; 
                       background-repeat: no-repeat;
                       z-index:3;
                       background-image:url("title_left_small.png"); }

div.header { top:0px; 
             left:0px; 
             width:100%; 
             height:60px;
             z-index:2;
             /*background-color: #202050;*/
             background: #1e5799; /* Old browsers */
             background: -moz-linear-gradient(top, #1e5799 0%, #2989d8 54%, #207cca 56%, #7db9e8 100%);
             background: -webkit-linear-gradient(top, #1e5799 0%,#2989d8 54%,#207cca 56%,#7db9e8 100%); /* Chrome10+,Safari5.1+ */
             background: -o-linear-gradient(top, #1e5799 0%,#2989d8 54%,#207cca 56%,#7db9e8 100%); /* Opera 11.10+ */
             background: -ms-linear-gradient(top, #1e5799 0%,#2989d8 54%,#207cca 56%,#7db9e8 100%); /* IE10+ */
             background: linear-gradient(top, #1e5799 0%,#2989d8 54%,#207cca 56%,#7db9e8 100%); /* W3C */	     
             /*background-repeat: no-repeat;*/
	     /*background-position: top right;*/
             /*background-image:url("title_backdrop.png");*/ }

div.title { position:fixed;
            top:0px;
            right:5%;	
            width:500px;
            z-index:2;
            margin-top:4px;
            /*background-image:url("caption.png"); */
            /*background-repeat: no-repeat;
            background-position: top center;*/
	    color: #ffffff;
            text-align: right;
            /* font-family: "Times New Roman",vserif;*/
            font-family:Helvetica,Arial,sans-serif;
            font-size: 160%; }

div.title_sub 
{ 
  positibackground: -moz-linear-gradient(top, #a0f0a0 0%, #8eb92a 50%, #72aa00 51%, #2a4700 100%); /* FF3.6+ */on:relative; 
  right:0%; 
  top:-5px; 
  color: #ffffff;
  font-size:12pt; 
  text-align:right 
}

/* Der Navigationsbereich für die Artikelansicht. */
div.navi { position:absolute;
           overflow: auto;
           background-color:#ffffff; /*#f4fff4;*/
           top: 80px;
           bottom: 20px;
           left: 5px;
           width: 240px; 
           height: auto; }


div.navi_wide { position:absolute;
                overflow: auto;
                background-color:#ffffff; /*#f4fff4;*/
                top: 80px;
                bottom: 20px;
                left: 5px;
                width: 320px; 
                height: auto; }

div.main { position:absolute;
           overflow: scroll;
           background-color:#ffffff; /*#f4fff4; */
           border: 1px solid #cfcfcf;
           top: 90px;
           bottom: 10px;
           left: 10px;
           padding: 0 1em 1em 1em; 
           right: 10px;
           width: auto;
           height: auto;
           text-align:left }
           
div.main_with_navi { position:absolute;
                     overflow: auto;
                     background-color:#ffffff; 
                     border: 1px solid #888888; /*cfcfcf;*/
                     top: 80px;
                     bottom: 30px;
                     left: 260px;
                     padding: 0 1em 1em 1em; 
                     right: 15px;
                     width: auto;
                     height: auto;
                     text-align:left }
                     
div.main_with_navi_wide { position:absolute;
                          overflow: auto;
                          background-color:#ffffff; 
                          border: 1px solid #888888; /*cfcfcf;*/
                          top: 80px;
                          bottom: 30px;
                          left: 340px;
                          padding: 0 1em 1em 1em; 
                          right: 15px;
                          width: auto;
                          height: auto;
                          text-align:left }

div.main_with_navi_wide_and_bar { position:absolute;
                          overflow: auto;
                          background-color:#ffffff; 
                          border: 1px solid #888888; /*cfcfcf;*/
                          top: 160px;
                          bottom: 30px;
                          left: 340px;
                          padding: 0 1em 1em 1em; 
                          right: 15px;
                          width: auto;
                          height: auto;
                          text-align:left }
div.main_dark { position: absolute; 
                top: 70px;
                bottom: 0px;
                overflow:auto;
                left: 20px;
                right: 0px;
                padding-top:0px;
                padding-right:10px;
                margin-top:10px;
                color: #ffffff; }

div.edge { position:absolute;
           position:fixed; 
           bottom:-50px; 
           right:0%; 
           width:1500px; 
           height:1500px; 
           background-repeat: no-repeat; 
           z-index:0;}

div.edge_fixed { position:fixed; 
                 bottom:-50px; 
                 right:0%; 
                 width:1000px; 
                 height:1000px; 
                 background-repeat: no-repeat;
                 z-index:0;}

div.equation
{ 
  border: 1px solid #cfcfcf; 
  margin-top: 20px;
  margin-bottom: 20px;  
  background-color:#ededff; 
  padding-left:1em;  
  border: 1pt solid black;
  padding: 10pt;
  width: 90%; 
}

div.equation_def
{ 
  margin-top: 20px;
  margin-bottom: 20px;  
  padding-left:3em;  
}

div.quote_box 
{ 
  position:fixed; 
  bottom:0; 
  right:0; 
  margin:20px; 
  border-radius: 15px;  
  opacity: 0.4; 
  width:500px; 
  border: 15px;  
  background: #303030;   
  font-size: 110%;  
  padding:20px 20px; 
  font-family:Helvetica,Arial,sans-serif;
}
                

div.search_box_caption
{
  position:absolute;
  left:780px;
  top:0px;
  width:40%;
  padding-left:20px;
  font-family:Helvetica,Arial,sans-serif;
  font-size: 120%; 
  background: #303030;
  background: -moz-linear-gradient(top, #4c4c4c 0%, #595959 12%, #666666 25%, #474747 39%, #2c2c2c 50%, #000000 51%, #111111 60%, #2b2b2b 76%, #1c1c1c 91%, #131313 100%);
/*   border-top-left-radius: 15px; */
  border-top-right-radius: 15px;
  border-top-left-radius: 15px;
}

div.search_box
{
  position:absolute; 
  top:20px; 
  left:780px; 
  width:40%;
  padding-top:10px;
  padding-left:20px;
/*  opacity: 0.7;*/
  
  border-bottom-left-radius: 15px;
  border-bottom-right-radius: 15px;
/*  background: #777777; */
  background: rgba(90, 90, 100, 0.8);
/*  background: -moz-linear-gradient(top, #45484d 0%, #000000 100%);     */
/*  background: -moz-linear-gradient(top, #000000 0%, #afafaf 100%);*/
}

div.menu_box_caption
{
  padding-left:20px;
  font-family:Helvetica,Arial,sans-serif;
  font-size: 120%; 
  width:950px;
  background: #303030;
  background: -moz-linear-gradient(top, #4c4c4c 0%, #595959 12%, #666666 25%, #474747 39%, #2c2c2c 50%, #000000 51%, #111111 60%, #2b2b2b 76%, #1c1c1c 91%, #131313 100%);
  opacity: 0.8;
/*   border-top-left-radius: 15px; */
  border-top-right-radius: 15px;
  border-top-left-radius: 15px;
}

div.menu_box
{
  padding-top:10px;
  padding-left:20px;
  width:950px;
  opacity: 0.8;
  border-bottom-left-radius: 15px;
  border-bottom-right-radius: 15px;
  /*background: #101010;*/
/*  background: -moz-linear-gradient(top, #45484d 0%, #000000 100%); */    
  background: rgba(10, 10, 10, 0.8);    
}

div.menu_box1_caption
{
  padding-left:20px;
  font-family:Helvetica,Arial,sans-serif;
  font-size: 120%; 
  width:750px;
  background: #303030;
  background: -moz-linear-gradient(top, #4c4c4c 0%, #595959 12%, #666666 25%, #474747 39%, #2c2c2c 50%, #000000 51%, #111111 60%, #2b2b2b 76%, #1c1c1c 91%, #131313 100%);
  opacity: 0.9;
  border-top-left-radius: 15px;
  border-top-right-radius: 15px;
}

div.menu_box1
{
  padding-top:10px;
  padding-left:20px;
  height:220px; 
  width:750px;
  opacity: 0.9;
  border-bottom-left-radius: 15px;
  border-bottom-right-radius: 15px;
/*  background: #101010;
  background: -moz-linear-gradient(top, #4d3548 0%, #000000 70%);  
  background: -moz-linear-gradient(top, #35484d 0%, #000000 100%); */   
  background: rgba(10, 10, 10, 0.8);  
  
}

div.menu_box2_caption
{
  margin-top:10px;  
  padding-left:20px;
  font-family:Helvetica,Arial,sans-serif;
  font-size: 120%; 
  width:750px;
  background: #303030;
  background: -moz-linear-gradient(top, #4c4c4c 0%, #595959 12%, #666666 25%, #474747 39%, #2c2c2c 50%, #000000 51%, #111111 60%, #2b2b2b 76%, #1c1c1c 91%, #131313 100%);
  opacity: 0.9;
  border-top-left-radius: 15px;
  border-top-right-radius: 15px;
}

div.menu_box2
{
  padding-top:10px;
  padding-left:20px;
  height:220px; 
  width:750px;
  opacity: 0.9;
  border-bottom-left-radius: 15px;
  border-bottom-right-radius: 15px;
  background: #101010;
/*  background: -moz-linear-gradient(top, #354d48 0%, #000000 70%); 
  background: -moz-linear-gradient(top, #35484d 0%, #000000 100%);  */
  background: rgba(10, 10, 10, 0.8);  
}

div.menu_box3_caption
{
  margin-top:10px;  
  padding-left:20px;
  font-family:Helvetica,Arial,sans-serif;
  font-size: 120%; 
  width:750px;
  background: #303030;
  background: -moz-linear-gradient(top, #4c4c4c 0%, #595959 12%, #666666 25%, #474747 39%, #2c2c2c 50%, #000000 51%, #111111 60%, #2b2b2b 76%, #1c1c1c 91%, #131313 100%);
  opacity: 0.9;
  border-top-left-radius: 15px;
  border-top-right-radius: 15px;
}

div.menu_box3
{
  padding-top:10px;
  padding-left:20px;
  height:220px; 
  width:750px;
  opacity: 0.9;
  border-bottom-left-radius: 15px;
  border-bottom-right-radius: 15px;
/*  
  background: #101010;
  background: -moz-linear-gradient(top, #35484d 0%, #000000 100%);
*/  
  background: rgba(10, 10, 10, 0.8);   
}

div.menu_img_col1
{
  position:absolute; 
  left:10px; 
  height:300px;
}
                
div.menu_img_col2
{
  position:absolute; 
  left:160px; 
  height:300px;
}

div.menu_img_col3
{
  position:absolute; 
  left:310px; 
  height:300px;
}

div.menu_img_col4
{
  position:absolute; 
  left:460px; 
  height:300px;
}

div.menu_img_col5
{
  position:absolute; 
  left:610px; 
  height:300px;
}

div.imp1
{
  left:40px; 
  height:127px;
  background-repeat: no-repeat; 
  background: rgba(255, 255, 10, 0.8);  
  width: 375px;
  height: 127px;
}

div.imp2
{
  left:88px; 
  height:127px;
  background-repeat: no-repeat; 
  background: rgba(255, 255, 10, 0.8);  
  width: 375px;
  height: 127px;
}

div.imp3
{
  left:40px; 
  height:127px;
  background-repeat: no-repeat; 
  background: rgba(255, 255, 10, 0.8);  
  width: 375px;
  height: 127px;
}

ul.nav_list { text-align:left;
              list-style-type:none;
              padding-left:10px; }

/* Hooks für den variablen Hintergrund */
.img0 { background-image:url("edge1.jpg"); } 
.img1 { background-image:url("edge2.jpg"); } 
.img2 { background-image:url("edge3.jpg"); } 
.img3 { background-image:url("edge4.jpg"); } 
.img4 { background-image:url("edge5.jpg"); } 
.img5 { background-image:url("edge6.jpg"); } 
.img6 { background-image:url("edge7.jpg"); } 
.img7 { background-image:url("edge8.jpg"); } 
.img8 { background-image:url("edge9.jpg"); } 
.img9 { background-image:url("edge10.jpg"); } 
.img10 { background-image:url("edge11.jpg"); } 
.img11 { background-image:url("edge12.jpg"); } 
.img12 { background-image:url("edge13.jpg"); } 

/* Für <h> tags im Navigationsbereich */
.navi_heading { text-align:left; 
		padding-left:35px; 
}

/* Hinzufügen von speziellen Bildern im Navigationsbereich. */
.navi_info { background-image:url("icons/contents_30.png");
             background-repeat: no-repeat;
             background-position:0px 0.4em; }

.navi_down { background-image:url("icons/download_30.png");
             background-repeat: no-repeat;
             background-position:0px 0.4em; /*              color: #a0f0a0 */
}
.navi_donate { background-image:url("icons/donate_30.png");
               background-repeat: no-repeat;
               background-position:0px 0.4em; }

table.center { margin-left:auto; 
               margin-right:auto; }

pre.code { border: 1px solid #cfcfcf; 
           background-color:#ffffed; 
           padding-left:1em;  
           border: 1pt solid black;
           font: 12pt "Courier New", Courier, mono;
           padding: 10pt;
           width: 90%; }

pre.expr { border: 1px solid #cfcfcf; 
           background-color:#eeffed; 
           padding-left:1em;  
           border: 1pt solid black;
           font: 16pt "Courier New", Courier, mono;
           padding: 5pt;
           width: 90%; 
           text-align:left;}

/* Body Definition */

/*body.main { background-color: #222522; }*/
body.main { background-color: #000000; }

.body_link { font-family: 'Arial', sans-serif;
	     font-size: 100% }

.body_text  { font-family: 'Arial', sans-serif;
	      font-size: 100%;
              color: #a0f0a0 /*#a0f0a0*/}

.small_text { font-size: 90%; }
.tiny_text { font-size: 70%; }
.header_link { font-size: 70%; 
               font-family:Helvetica,Arial,sans-serif;
               color: #ffffff;
               text-align:center; }

.header_link_ex { font-size: 80%; 
                  color: #efefff; 
                  position:absolute;
                  top:  position:absolute; 5px; 
                  text-align:center; }

.show_box { border: 1px solid #cfcfcf; }
.blocksatz {text-align: justify;}
.brightbk { background-color: #ffffff; /*#f4fff4;*/ }

.bottom_box { position:absolute;bottom:3em;border: 1px solid #cfcfcf; }

.body_small_text { font-family: 'Arial', sans-serif;
                   text-align: left; 
	           font-size: 90%;
                   color: #ffffff; }

.title_text { color: #000000;
	      font-family: 'Arial', sans-serif;
              font-size: 80% }

/* Links */
/*
a:link { font-weight:bold; color:#0000E0; text-decoration:underline }
a:visited { font-weight:bold; color:#000080; text-decoration:underline }
a:hover { font-weight:bold; color:#E00000; text-decoration:none }
a:active { font-weight:bold; color:#E00000; text-decoration:none }
a:focus { font-weight:bold; color:#00E000; text-decoration:none }
*/
a                 {color:#a0f0a0;font-weight:bold;text-decoration:none}
a:hover           {color:#f0f0c0;font-weight:bold;text-decoration:none}

a.darkbk          { color:#a0f0a0; font-weight: bold; text-decoration:none } 
a.whitebk         { color:#101080; font-weight: bold; text-decoration:none }
a.whitebk:hover   { color:#8080ff; font-weight: bold; text-decoration:underline }
/* a img { border-style:none; } */


/* Tabellen */
table.main    { color: #101080;}

body,h1,h2,h3,h4,h5,h6,li,td,th,dd,dt {
  font-family:Helvetica,Arial,sans-serif;
}

p 
{
   text-align: justify;
   font-family:Helvetica,Arial,sans-serif;
}

/* Überschriften */
h1, h2, h3, h4, h5, h6 {
    background: none;
    font-weight: normal;
    margin: 0;
    padding-top: 0.5em;
    padding-bottom: 0.17em;
/*    border-bottom: 1px solid #aaaaaa;  */
}

h3 
{
  background: none;
  font-weight: normal;
  margin: 0;
  padding-top: 0.5em;
  padding-bottom: 0.17em;
  text-decoration:underline;
}

h1.ul
{
  text-decoration:underline;
}

h2.ul
{
  text-decoration:underline;
}

h3.ul
{
  text-decoration:underline;
}

.grad 
{ 
  padding-left:1em; 
  background-repeat: no-repeat; 
  height:24px; 
  padding-top:0em;
  color: #ffffff;
}

.short_caption 
{ 
  width:700px; 
}