.menu {
 margin:2px;
 white-space:nowrap;
 border-style:hidden;
 border-width:0px;
 text-align:right;
}

.menu a,
.menu a:link,
.menu a:visited {
 text-decoration:none;
 color:#000000;
}
.menu a:active {
        color:#FFFFff;
        background-color:#3878CD;
        font-size:1.1em;
}
.menu a:hover {
 color:#ffffff;
 background-color:#3878CD;
}

.linie {
 width:100%;
 height:0px;
 font-size:0px;
 border-bottom-style:solid;
 padding:0;
 margin-top:1px;
 margin-bottom:0px;
 border-top-width:0px;
 border-right-width:0px;
 border-left-width:0px;
 border-bottom-width:1px;
 border-color:black;
}

.cmd {
 border-style:solid;
 border-width:1px;
 padding: 4px;
 padding-left: 5em;
 margin: 1em;
 background-color:#E0E0E0;
 font-family: helvetica,courier;
 font-weight: bold;
}