/* GENERAL */

html {
  background-color: #8cb0c6;
  margin: 5px;
  padding: 0;
}

body {
  background-color: #ffffff;
  font-family: sans-serif;
  margin : 5px;
  border: 1pt solid black;
}


/* HEADER */
#header {
  color : #174e5d;
  border-bottom : 1pt solid #174e5d;
  height: 65px;
}

#header h1 {
  font-size: 35px;
  text-align: left;
  padding: 4px 4px 4px 20px;
}

#header img {
  position: absolute;
  right: 20px;
  top: 20px;
}


/* MENU */
#menu {
  float: right;
  margin-top: 15px;
  text-align: center;
  font-size : 12px;
}

#menu .title {
  background-color: black;
  color : white;
  font-weight: bold;
  font-size : 15px;
  text-align: center;
  width: 200px;
  margin-left: 15px;
  padding: 3px 1px 3px 1px;
}

#menu .title a {
  color: white;
}

#menu .links {
  background-color: #eff3f9;
  border: solid 1px black;
  font-weight: bold;
  width: 200px;
  margin-left: 15px;
  margin-bottom: 20px;
}

#menu .links ul {
  list-style-type: none;
  margin: 0;
  padding: 0;
}

#menu .subtitle {
  text-decoration: underline;
  margin: 0;
  padding: 0;
}

#menu img {
  border: 0;
  margin: 5px;
}


/* LANGUAGE */
#language {
  margin: 30px;
}

#language .warning {
  font-size: 22px;
  text-align: center;
  font-weight: bold;
  color: #ff0000;
}


/* MAIN */
#main {
  margin-left: 15px;
  margin-right: 230px;
  margin-top: 15px;
  font-size : 12px;
}

#main .title {
  background-color: black;
  color: white;
  font-weight: bold;
  font-size: 15px;
  text-align: center;
  padding: 3px;
}

#main .code {
  font-size: 11px;
  font-family: monospace;
  padding: 10px;
  margin-top: 10px;
  margin-bottom: 10px;
  border: solid 1px black;
  background-color: #ffffe0;
}

#main .content {
  background-color: #eff3f9;
  border: 1pt solid black;
  padding: 15px;
  margin-bottom: 15px;
}

#main .content h2 {
  font-size : 20px;
  padding-top: 15px;
}

#main .content h3 {
  font-size : 17px;
  padding-top: 10px;
}

#main .content h4 {
  font-size : 14px;
  padding-top: 10px;
}

#main .content p {
  text-align: justify;
}

#main .content dl {
  margin-left: 1ex;
}

#main .content dt {
  margin-top: 10px;
  font-weight: bold;
}

#main .content ul {
  padding-left: 40px;
}

#main .content img {
  border: 0;
  margin: 20px;
  display: block;
}

#main .content pre {
  font-size : 14px;
}

#main .content table {
  border-collapse: collapse;
  empty-cells: show;
  padding: 4px;
  margin-top: 1ex;
}

#main .content th {
  padding: 4px;
  background-color: #cccccc;
}

#main .content td {
  padding: 4px
}

#main .copyright 
{
  font-size : 10px;
  background-color: #eff3f9;
  border: 1pt solid black;
  margin-bottom: 15px;
  padding-left: 15px;
  padding-right: 15px;
  padding-top: 6px;
  padding-bottom: 6px;
}

/* FOOTER */
#footer {
  padding-top: 10px;
  clear: both;
}

#footer .copyright {
  text-align: left;
  font-size: 10px;
}

#footer .icons {
  height: 24px;
}

#footer .icons img {
  border: 0;
  float: right;
  margin-right: 10px;
}


/* LINKS */

a:link {
  text-decoration: none;
  color: #0000cd;
}

a:visited {
  text-decoration: none;
  color: #0000cd;
}

a:active {
  text-decoration: none;
  color: #000000;
}

a:hover {
  text-decoration: underline;
  color: #0000cd;
}