body { background-color: #00005F; color: #d8d8ff; font-family: "URW Gothic L", "Lucida Sans", sans-serif }
div { padding: 2 px; }
a.moved { font-style: italic; font-size: 120% }
a[href]:link { color: #ffeedd }
a[href]:visited { color: #ddffee }
a[href]:hover { color: #4040ff }
a[href]:focus { color: #6060ff }
a[href]:active { color: #ffddbb }
a.bad-link { color: #D09050; font-size: 80% }
span.bad-link-token { color: #D09050; font-size: 80% }
.rev-info { color: #3838dd; font-size: 80% }

address.italic {font-style: italic}
.other-lang {font-style: italic}

div.center {text-align: center}
h1.big-italic {font-style: italic}
.buttons {text-align: right}
p.remark {font-style: italic; font-size: 80% }
img { border-width:0px; margin:3px }
a img:hover { border-width:2px; margin:1px; border-color:#b020ff }
a img:focus { border-width:2px; margin:1px; border-color:#d020ff }

/** new layout with columns: */
img#logo { float: left ;  position: center center }

div#logo-x    {  width: 30%; float: left; ; min-width: 150px; min-height: 205px; padding: 20px ; } /*  background-color: red } */
div#title   {  width: 65%; float: right ; } /*  background-color: blue } */
div#header  {  overflow: hidden ; } /*  background-color: white } */

div#nav     {  width: 30% ; float:left; min-width: 150px; padding: 20px ; background-color: #000066; } /*  background-color: green } */
div#nav ul li { margin: 10px; color: #d8d8ff; padding 4px; } /*   background-color: #000060; */
div#content {  width: 65% ; float: right ; } /*  background-color: grey } */
div#main    {  overflow: hidden ; } /*  background-color: orange } */

div#footer { }
div#rev-info { color: #a8a8dd; font-size: 80% }