body {
	font-family: Arial, Helvetica, sans-serif;
	color: black;
	background-color: white;
	padding: 0;
	margin: 0;
}

h1 {
	border-bottom: 1px solid;
	border-color: black;
	padding-top: 0.15em;
	padding-bottom: 0.15em;
	padding-right: 0.15em;
	padding-left: 0.5em;
	margin: 0 0;
	background: rgb(77%,89%,93%);
}

h2 {
	padding-left: 0.5em;
}

h3 {
	padding-left: 0.7em;
}

.navigation {
	float: right;
	padding: 0;
	margin: 0 0 0.5em 1em;
	border-left: 1px black solid;
	border-bottom: 1px black solid;
}

.navigation h2 {
	background: rgb(77%,89%,85%);
	padding-left: 0.2em;
	padding-right: 0.2em;
	margin: 0;
	font-weight: normal;
	font-size: 150%
}

.navigation ul {
	margin: 0;
	padding: 0;
	font-variant: small-caps;
}

.navigation li {
	list-style: none;
	display: inline;
	margin: 0;
	padding: 0;
}

.navigation li a:link, 
.navigation li a:visited {
	display: block;
	text-align: center;
	text-decoration: none;
	font-variant: small-caps;
	background: #eee;
	border-top: 1px #bbb solid;
	margin: 0;
	padding: 8px;
}

.navigation li a:hover {
	background: white;
	text-decoration: underline;
}

.navigation li a:active {
	background-color: #ddd;
}

.navigation li .current {
	display: block;
	text-align: center;
	text-decoration: none;
	font-variant: small-caps;
	background: #ccc;
	border-top: 1px #bbb solid;
	margin: 0px;
	padding: 8px;
}

.subnavigation {
	float: right;
	margin: 0 -1em 0.5em 1em;
	padding: 1em;
	border-left: 1px black solid;
	border-bottom: 1px black solid;
	background: #eee;
}

.subnavigation ul {
	font-variant: small-caps;
	padding: 0;
	margin: 0;
}

.subnavigation li {
	list-style: none;
	margin: 0;
	padding: 0;
}

.content p {
	margin-left: 1em;
	margin-right: 1em;
}

.content table {
	margin-left: 1em;
	margin-right: 1em;
}

.content a {
	padding: 2px;
}

.content a:hover {
	background: #d3d3d3;
	padding: 2px;
}

.content a:active {
	background: yellow;
	padding: 1px;
	border: 1px solid black;
}

div#footer {
	text-align: right;
	font-size: 75%;

	padding-right: 0.5em;
}

img.button {
	border: 0px;
}

.clearfloat {
	clear: both;
}

html {
	height: 100%;
	margin-bottom: 1px;
}

div.address {
	margin-left: 2em;
	padding: 1em;
}

div.logo {
	float: left;
	margin: 1em;
}

img.flag {
	float: right;
	border: 0px;
        text-align: right;
        clear: right;
        padding-bottom: 2px;
}

img {
	border: 0px;
}

div.translationnote {
	padding: 1em;
        margin: 0.5em;
        background: #fdc;
        border: 1px solid #b00;
        color: #b00;
        width: 65%;
}

div.Id {
	font-size: 75%;
}

div.caption {
	text-align: center;
}


table.protocols tr td {
	vertical-align: top;
	background: rgb(95%,95%,95%);
}

div.month {
	float: left;
	height: 12em;
	margin: 0.3em;
}



table.downloads tr.a td.version {
  background: rgb(90%,90%,90%);
}

table.downloads tr.a td.link {
  background: rgb(95%,95%,95%);
}

table.downloads tr.a td.size {
  background: rgb(90%,90%,90%);
}

table.downloads tr.a td.md5 {
  background: rgb(95%,95%,95%);
  font-size: 80%;
  font-family: Courier New, Courier, monospace;
}

table.downloads tr.a td.notes {
  background: rgb(90%,90%,90%);
}

table.downloads tr.b td.version {
  background: rgb(80%,80%,80%);
}

table.downloads tr.b td.link {
  background: rgb(85%,85%,85%);
}

table.downloads tr.b td.size {
  background: rgb(80%,80%,80%);
}

table.downloads tr.b td.md5 {
  background: rgb(85%,85%,85%);
  font-size: 80%;
  font-family: Courier New, Courier, monospace;
}

table.downloads tr.b td.notes {
  background: rgb(80%,80%,80%);
}