/* Formatierung der Hyperlinks */

a:link   {
           font-family: Verdana, sans-serif;
           font-size:12px;
           color:#000000;
         }
         
a:visited{
           font-family: Verdana, sans-serif;
           font-size:12px;
           color:#000000;
         }
         
a:active {
           font-family: Verdana, sans-serif;
           font-size:12px;
           color:#000000;
         }
         
a:hover  {
           font-family: Verdana, sans-serif;
           font-size:12px;
           text-decoration:underline overline;
           color:#000000;
         }

/* Formatierung des dargestellten Textes und der Tabellen */

body  {
           font-family: Verdana, sans-serif;
           font-size:12px;
           color:#000000;
           
           background-color: #FFFFFF;

      }

table {
           font-family: Verdana, sans-serif;
           font-size:12px;
           color:#000000;
           border:0px;
           border-collapse: collapse;
      }

h1 {
           font-family: Verdana, sans-serif;
           font-size:28px;
           color:#000000;
           font-style:normal;
   }
   
h2 {
           font-family: Verdana, sans-serif;
           font-size:16px;
           color:#000000;
           font-style:normal;
   }
   
h3 {
           font-family: Verdana, sans-serif;
           font-size:14px;
           color:#000000;
           font-style:normal;
   }
   
h4 {
           font-family: Verdana, sans-serif;
           font-size:10px;
           color:#000000;
           font-style:normal;
   }
   
h5 {
           font-family: Verdana, sans-serif;
           font-size:8px;
           color:#000000;
           font-style:normal;
   }
   
h6 {
           font-family: Verdana, sans-serif;
           font-size:12px;
           color:#000000;
           font-style:normal;
           font-weight:bold
   }

p  {
           font-family: Verdana, sans-serif;
           font-size:12px;
   }
   
img {
           border: 0px none;
    }

/* Klasse, die den Seitenhintergrund global steuert */

.bgimg {
           background-image:url('../../images/background/bg.png');
       }
       
.listimg {
           background-image:url('../../images/window_themes/linklist_bg_1024x1.png');
         }

/* Klasse zur Formatierung der Head-Line */

.headline {
               font-weight: bold;
               color: #FFFFFF;
          }

/* Klasse zum Strecken einer Tabelle */

.stretcher {
               height: 100%;
           }

.pressed   {
               height:2px;
           }
           
.list      {
               height:20px;
           }
       
/* Klasse zur globalen Rahmenformatierung aller Tabellen, welche die MML und Makercode-Beispiele darstellen */

.mml_head  {
                border-color:#0018AB;
                border-style:solid;
                border-width:1px;
           
                background-color: #001FD2;
                color: #FFFFFF;

           }

.mml_fork_head  {
                border-color:#0018AB;
                border-style:solid;
                border-width:1px;
           
                background-color: #0265F9;
                color: #FFFFFF;

                }

.mml_body  {
                border-color:#0018AB;
                border-style:solid;
                border-width:1px;
           
                background-color: #76A6EE;

           }
      
.mml_fork_left  {
                border-color:#0018AB;
                border-style:solid;
                border-width:1px;
           
                background-color: #0018AB;

      }

.code_head {
                border-color:#0018AB;
                border-style:solid;
                border-width:1px;
                
                background-color: #001FD2;
                color: #FFFFFF;
      }

.code_body {
                border-color:#0018AB;
                border-style:solid;
                border-width:1px;
                
                background-color: #FFFFFF;
                
                font-family: Courier new, monospace;
                font-size:12px;
                color:#000000;
      }

/* Diese Klasse färben die Ränder bestimmter Tabellen */

.lilie {
                border-color:#800080;
                border-style:solid;
                border-width:1px;
                
                background-color: #FFFFFF;
      }
      
      
.darkred {
                border-color:#800000;
                border-style:solid;
                border-width:1px;
                
                background-color: #FFFFFF;
         }

.black {
                border-color:#000000;
                border-style:solid;
                border-width:1px;
                
                background-color: #FFFFFF;
      }
      
/* Das Theme */

.top_corner_left {
                background-image:url('../../images/window_themes/denw_top_corner_left.png');
                height:29px;
                width:8px;
                 }
                 
.top_corner_right {
                background-image:url('../../images/window_themes/denw_top_corner_right.png');
                height:29px;
                width:8px;
                  }

.top_middle {
                background-image:url('../../images/window_themes/denw_top_bg.png');
                height:29px;
                width:100%;
            }
            
.top_cell {
                height:29px;
          }
                 
.border_left {
                background-image:url('../../images/window_themes/denw_border_left.png');
                height:100%;
                width:4px;
             }
             
.border_right {
                background-image:url('../../images/window_themes/denw_border_right.png');
                height:100%;
                width:4px;
              }

.browserlist_left {
                background-image:url('../../images/window_themes/denw_border_left.png');
                height:28px;
                   }

.browserlist_right {
                background-image:url('../../images/window_themes/denw_border_right.png');
                height:28px;
                   }

.browserlist_bg {
                background-color: #D9D9D9;
                height:28px;
                   }

.bottom_corner_left {
                background-image:url('../../images/window_themes/denw_bottom_corner_left.png');
                height:5px;
                width:4px;
                    }

.bottom_corner_right {
                background-image:url('../../images/window_themes/denw_bottom_corner_right.png');
                height:5px;
                width:4px;
                     }

.bottom_middle {
                background-image:url('../../images/window_themes/denw_bottom_border.png');
                height:5px;
               }
.middle_bg  {
                background-image:url('../../images/window_themes/denw_border_middle.png');
                height:100%;
            }