body {
font-family: sans-serif;
}

h1 {
  font-size:16pt;
  color:rgb(62,143,210);
  bottom-margin:0;
}

h2 {
  font-size:14pt;
  color:rgb(62,143,210);
  bottom-margin:0;
}

code {
  font-family:monospace
}

keyword {
  color: red;
  font-family: "courier";
}
pre_big {
  font-family:monospace;
  color:rgb(62,143,210);
}


img {
  vertical-align:middle;
}
#footer {
  font-size:10pt;
}
#header {
  vertical-align:middle;
  color:rgb(62,143,210);
}

#navigation {
position: absolute;
width: 150px;
height: 600px;
margin: 0;
margin-left:20px;
margin-top: 0px;
border-right: 1px solid #C6EC8C;
font-weight: normal;
font-size:10pt;
color:black;
}

#languages {
position: absolute;
width:  200px;
height: 15px;
margin: 0;
margin-left:600px;
margin-top: 0px;
font-weight: normal;
font-size:10pt;
}
#centerDoc {
position: absolute;
padding: 0 0 20px 0; /*top right bottom left*/
margin-left: 235px;
width: 600px;
color:black;

}

#a {

}