body {
    margin: 0em;
    padding: 0em;
    background: url("backtux.gif") white;
    color: black;
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: medium;
    direction: rtl;
}

ul {
    margin-right: 2em;
}

.invisible {
    display: none;
}


#fixed {
    position: absolute;
    top: 0;
    right: 0;
    width: 10em;
    height: 100%;
    background: #666666;
    color: black;
}

#content {
    margin-right: 10em;
    padding: 1em;
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: normal;
    line-height: 1.5;
}


code, pre {
    font-family: monospace;
    font-size: large;
    font-weight: bold;
    background: transparent none;
    color: green;
}

.center { text-align: center; }
div.title div.pretitle {font-size:0.5em; color:green; text-align:right; }
div.title div.pretitle a {color: inherit;}
div.title div.posttitle {font-size:0.5em; color:black; text-align:center; }
div.title { font-size: 3em; color:red; text-align: center; margin-top: 0.5em;}
div.english {text-align:center; font-size: 1.25em;}
h2 { color:#885522; margin-top: 2em; }
h3 { color:green; margin-top: 0.5em; }
a:link { background: transparent none; color: blue; }
a:visited { background: transparent none; color: blue; }
a:active { background: transparent none; color: blue; }
a:hover { background: transparent none; color: red; }

dt {color: green; font-weight: bold; }

#fixed a {
    display: block;
    text-decoration: none;
    padding: 0.5em;
    background: navy none;
    color: white;
    font-weight: bold;
    font-size: smaller;
    margin-bottom: 2px;
}


#fixed a:hover {
    background: red none;
    color: white;
}

#fixed a.ann {
    display: block;
    text-decoration: none;
    padding: 0.5em;
    background: green none;
    color: white;
    font-weight: bold;
    font-size: 1em;
    margin-bottom: 2px;
}

#fixed a.ann:hover {
    background: red none;
    color: white;
}


div.address {
    border-top: 2px solid black;
    font-family: Verdana, Arial, Helvetica, sans-serif;
}


div.address img {
    border: 0px;
    text-align: left;
}
.req { color: red; }