.navbar-default .navbar-nav > li > a {

    color:cyan;
    background: #555c99; /* Old browsers */
    background: -moz-linear-gradient(top, #555c99 0%, #091184 53%, #04088e 100%); /* FF3.6-15 */
    background: -webkit-linear-gradient(top, #555c99 0%,#091184 53%,#04088e 100%); /* Chrome10-25,Safari5.1-6 */
    background: linear-gradient(to bottom, #555c99 0%,#091184 53%,#04088e 100%); /* W3C, IE10+, FF16+, Chrome26+, Opera12+, Safari7+ */
    filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#555c99', endColorstr='#04088e',GradientType=0 ); /* IE6-9 */
}
.navbar-default .navbar-nav > li > a:hover, .navbar-default .navbar-nav > li > a:focus,.navbar-default .navbar-nav > li > .active{

    color:navy;
    /* Permalink - use to edit and share this gradient: http://colorzilla.com/gradient-editor/#777b99+0,7ed9dd+49,fcfcfc+100 */
    background: #777b99; /* Old browsers */
    background: -moz-linear-gradient(top,  #777b99 0%, #7ed9dd 49%, #fcfcfc 100%); /* FF3.6-15 */
    background: -webkit-linear-gradient(top,  #777b99 0%,#7ed9dd 49%,#fcfcfc 100%); /* Chrome10-25,Safari5.1-6 */
    background: linear-gradient(to bottom,  #777b99 0%,#7ed9dd 49%,#fcfcfc 100%); /* W3C, IE10+, FF16+, Chrome26+, Opera12+, Safari7+ */
    filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#777b99', endColorstr='#fcfcfc',GradientType=0 ); /* IE6-9 */

}

.affix {
    top: 0px;

    width: 100%;
    z-index: 9999 !important;
}
.footer {
    position: fixed;
    left: 0;
    bottom: 0;
    width: 100%;
    background-color: navy;
    color: white;
    text-align: center;
}
.kat-navi-all{
    cursor:pointer;
    font-weight:bold;
    color:yellow;
}

.lin-level0{
    font-size:14px;
    color:yellow; 
}

.lin-level1{
    font-size:20px;
    color:yellow; 
    background-color:cadetblue;
    padding-top:5px;
}

.lin-level2{
    padding-top:5px;
    font-size:14px;
    color:white;

}
.lin-level1 .col-sm-3{
    cursor:pointer;
    font-weight:bold;

}
.lin-befehl{
    font-size:14px;
    padding-top:5px;
    padding-bottom:5px;


}
.lin-befehl-no{
    font-size:14px;
    padding-top:5px;
    padding-bottom:5px;


}
.lin-befehl .col-sm-3{
    cursor:pointer;
    font-weight:bold;
    color:yellow;
}
.lin-befehl-no .col-sm-3{

    font-weight:bold;
    color:white;
}
.kat-navi{
    cursor:pointer;
    font-weight:bold;
    color:yellow;
    padding-bottom:5px;
}
.scroll{
    cursor:pointer;
    font-weight:bold;
    color:yellow;
    padding-bottom:5px;
}

.lin-level2 .kat-navi{
    display:none
}
.lin-befehl .kat-navi{
    display:none
}
.lin-befehl-no .kat-navi{
    display:none
}
.suchbegriff{
    padding:5px;
    color:black;
}
#suche{
    cursor:pointer;
    font-weight:bold;

}
#download{
    cursor:pointer;
    font-weight:bold;

}
.console{


}
pre{
    background-color:black;color:white;
    font-family:courier,monospace;
    margin-left:0px;
    border-bottom:1px solid white;  
}

input,textarea,option,select{
    color:black
}
::-webkit-input-placeholder { /* WebKit, Blink, Edge */
    color:    navy;
}
:-moz-placeholder { /* Mozilla Firefox 4 to 18 */
    color:    navy;

}
::-moz-placeholder { /* Mozilla Firefox 19+ */
    color:    navy;

}
:-ms-input-placeholder { /* Internet Explorer 10-11 */
    color:    navy;
}


html{
    height:100%
}

#footer{
   
    font-size:14px;
    background-color:blue;    
    overflow:hidden;
   
}


#footer > .row > div{
     padding-top:10px;
     padding-bottom:10px;
     
} 

.ui-corner-all{
    padding:0px;
    margin-right:10px;
    cursor:pointer;
    font-size:14px;
    background:inherit;
    color:inherit;
    width:100%;
    height:2em;
    margin:0px;
    top:0px;
    margin-right:10px;


}
.ui-corner-all .ui-button-text{

    padding:0px;
    margin:0px;
    padding-bottom:0px;
    line-height:1.7em; 
}
.row{
    padding-top:5px;
}