html 
{
  font-family: "DejaVu Serif", Cambria, Georgia, serif;
  height: 100%;
  }

body  
{ 
  margin: 0 0 0 0;
  padding: 0 0 0 0;
  height: 100%;
  background-color: white;
}

a.menu
{ 
  display: block;
  padding: 0;
  margin: 2px 4px 2px 4px;
  text-align: left;
}

a.menu:link 
{
  border-bottom: 1px solid white;
  text-decoration: none;
  }

a.menu:visited 
{
  border-bottom: 1px dotted white;
  text-decoration: none;
  }

a.menu:hover 
{
  border-bottom: 1px solid #600;
  text-decoration: none;
  }

a.menu 
{
  display: block;
  color: black;
  font-size: 90%;
  }

b.menu 
{
  padding: 2px 4px 2px 4px;
  margin-top: 8px; 
  display: block;
  color: #600;
  font-size: 90%;
  }


code { 
  font-family: Courier New, dialog, monospaced;
}

code.screen { 
  padding-left: 1em;
  padding-right: 1em;
  background: #000;
  color: #fff;
}

table.download,
table.profil
{
  font-family: sans-serif;
  font-size: 95%;
  margin-top: 1em;
  margin-right: auto;
  margin-left: auto;
  border: 1px solid black;
  background: inherit;
  }

th 
{ 
  padding: 0.5em;
  background: #eee;
  }

td
{ 
  padding: 0.5em;
  }

h1, h2, h3, h4, h5, h6 
{
  font-size: 100%;
  font-weight: bold;
  padding-bottom: 0.7em;
  border-bottom: 1px solid black;
  margin-top: 3em;
  }

img.header-left {
	margin: 0px; 
	padding: 0px; 
	display: inline; 
	float: left;
}

img.header-right {
	margin: 0px auto 0px auto; 
	padding: 0px; 
	display: inline; 
	float: right;
}

li 
{ 
  margin-top: 0.5em;
  }

dt
{ 
  color: #222;
  font-weight: bold;
  margin-top: 1.7em;
  margin-bottom: 0.3em;
 }

p
{
  line-height: 155%;
}

.news 
{ 
  /* border: darkred 3px solid; */
  width: 60%;
  margin-left: auto;
  margin-right: auto;
}

pre.programlisting 
{ 
  font-family: "Courier New";
  font-size: 95%;
  padding: 1em;
  background: #ddd;
}

body > #container { height: auto; min-height: 100%; }

div#header  
{
  margin:0;
  padding: 1em 0 0 0;
  }

div#footer
{
  height: 2em;
  margin-top: -2em;
  clear: both;
  position: relative;
  background: #333;
  color: #FFF
  }

div#footer p
{
  margin:0;
  padding:5px 10px
}

div#container 
{
  background-color: white;
  text-align: left;
  width: 80%;
  height: 100%;
  margin: 0 auto;
}

div#content
{
  background-color: white;
  float:left;
  width: 75%;
}

div#navigation
{
  float:right;
  top: 80px;
  width: 20%;
}

div#wrapper
{ 
  padding: 0 0 2em 0;
}

.ui-widget
{ 
  font-size: 10pt !important;
  }