a:link
{
  text-decoration: none;
  color: #15547c;
}
a:visited
{
  text-decoration: none;
  color: #15547c;
}
a:hover
{
  text-decoration: none;
  color: #4a96c7 ;
}

.amenu
{
  display: block;
}



a:link.amenu
{
  text-decoration: none;
  color:  #b6ced9;
}


a:visited.amenu
{
  text-decoration: none;
  color:  #b6ced9;
}


a:hover.amenu
{
  background-color: #b6ced9;
  color:  #000000;
}



body
{
  background-color: #000000;
  margin: 0px;
  padding: 0px;
  border: 0px;
}



.menu
{
  font-size: 10pt;
  font-family: verdana, sans, arial;
  font-weight: normal;
  margin-left: 5px;
  margin-right: 5px;
  margin-top: 5px;
  margin-bottom: 5px;
}


div.bar
{
  clear: both;
  overflow: auto;
}

pre
{
  display: inline;
  font-size: 10pt;
  font-family: monospace, "courier new", courier, fixed-width;
  margin-left: 3px;
}

.title
{
  font-size: 18pt;
  font-family: verdana, sans, arial;
  font-weight: normal;
  margin-right: 25px;

}




.poster
{
  font-size: 10pt;
  font-family: verdana, sans, arial;
  font-weight: normal;
  margin-left: 10px;
  margin-right: 10px;
  margin-top: 2px;
  margin-bottom: 2px;
}


.codeline1a
{
  /*background-color: #cccccc;*/
  text-align: right;
  display: block;
  margin: 0;
  font-weight: bold;
}


.codeline2a
{
  /*background-color: #d9d9d9;*/
  text-align: right;
  display: block;
  font-weight: bold;
}



.codeline1b
{
  background-color: #FFFFFF;
  display: block;
  text-decoration: none;
}


.codeline2b
{
  background-color: #eceff1;
  display: block;
  text-decoration: none;
}


.erreur
{
  font-size: 10pt;
  font-family: verdana, sans, arial;
  font-weight: normal;
  color: #ff0000;
  margin-left: 10px;
  margin-right: 10px;
  margin-top: 10px;
  margin-bottom: 10px;
}




.comment
{
  font-size: 12pt;
  font-family: verdana, sans, arial;
  font-weight: normal;
  margin-left: 10px;
  margin-right: 10px;
  margin-top: 10px;
  margin-bottom: 10px;
}


.smalltext
{
  font-size: small;
  font-family: verdana, sans, arial;
  font-weight: bold;
  color: #4f6874;
}

.input
{
	border: 1px solid #000000;
	background-color: #e7e7e7;
	color: #000000;
}