/*-------------------------------------------------------------------
Basic Style Sheet

version: 20080729
author: gerald senarclens de grancy
email: gerald.senarclens@gmail.com
-------------------------------------------------------------------*/

/* =Typography
-------------------------------------------------------------------*/
body {
  background-color: #d7e1f3;
  font-size: medium;
}
h1 {
  color: #025;
  font-size: 200%;
}
h2 {
  color: #025;
  font-size: 140%;
}
h3 {
  color: #025;
  font-size: 120%;
}
h4 {
  color: #025;
  font-size: 100%;
}
/* hr { color: #a4bedb } */
p {
  color: #003361;
}
li {
  color: #003361;
}
dt {
  font-weight: bold;
}

/* pre is used for block-level coding examples whereas code is used for inline examples */
pre {
  font-family: "monospace";
  background-color: #a4bedb;
  padding-left: 1em;
  padding-right: 1em;
  padding-bottom: 1em;
  padding-top: 0em;
  border: 1px dotted black;
  font-size: 80%;
}
pre.prettyprint {
  padding: 0em 1em 1em 1em !important;
}
code {
  font-size: 90%;
  padding: 0 0.3em 0 0.3em;
}
/* The class "comment" is for explaining html and css comments in coding examples
   it is thought to be used with a <span> tag */
pre .comment { color: gray; }
pre .in { color: green; }
pre .out { color: red; }

.code dt {
  padding-top: 0.3em;
  font-size: 80%;
  font-family: "Bitstream Vera Sans Mono [bitstream]";
}
.code dd {
  font-size: 90%;
}

td {
  color: #003361;
  vertical-align: top;
}
th {
  color: #025;
}

/* The legal note appearing in the footer */
.legal {
  text-align: center;
  font-size: 60%;
  color: gray;
}

/* =Hyperlinks
-------------------------------------------------------------------*/

a:link, a:visited {
  color: #003361;
  text-decoration: underline;
}
a:hover, a:active {
  background-color: #a4bedb;
  text-decoration: none;
}

/* prevent a border around an image link drawn by some browsers */
a img {
  border: none;
}

/* advanced attribute selection; matches all links starting with http and adds a little icon to them */
a[href^="http"] {
  background-image: url(../images/link_external.png);
  background-repeat: no-repeat;
  background-position: right top;
  padding-right: 10px;
}

/* same as above, but for mailto links */
a[href^="mailto:"] {
  background-image: url(../images/link_email.png);
  background-repeat: no-repeat;
  background-position: right top;
  padding-right: 10px;
}

/* mark links to pdf files with a little icon */
/* this declaration has to be below the http declaration so that
   pdf files will have the corresponding icon, no matter they are
   onsite or not (the specificity of both selectors is the same) */
a[href$=".pdf"] {
  background-image: url(../images/link_pdf.png);
  background-repeat: no-repeat;
  background-position: right top;
  padding-right: 22px;
}

/* =Navigation
-------------------------------------------------------------------*/
#navigation {
  list-style-type: none;
  text-align: center;
  margin: 0em;
  padding-left: 0.5em;
  padding-right: 0.5em;
  padding-top: 1em;
  padding-bottom: 1em;
  width: 14em;
  background-color: #a4bedb;
  background-image: url(../images/nav_right.png); /* right gradient */
  background-repeat: repeat-y;
  background-position: right center;
  font-size: 80%;
  margin-left: 10px;
}

#navigation h3 {
  padding: 0;
  margin: 0;
}

#navigation li {
  margin-top: 0.2em;
  margin-bottom: 0.2em;
}

/* create a gradiant on the left of the navigation box */
#nav_left {
  background-image: url(../images/nav_left.png);
  background-repeat: repeat-y;
  background-position: left center;
  margin: 0;
  padding: 0em;
}

/* generate more space before and after headers, but only if they are between list elements */
#navigation.header + li {
  margin-top: 1.2em;
}
#navigation li + .header {
  margin-top: 1.2em;
}

/* format the menu entries */
#navigation a {
  display: block; /* makes the entire item clickable and gives a nice button-look */
  text-decoration: none;
  padding: 0.2em;
  margin-left: 0.8em;
  margin-right: 0.8em;
  border: 1px solid #025;
  background-image: none;
}
#navigation a:hover {
  background-color: #d7e1f3;
}
/* selected state, needs one selector for each state/ menu item */
#gl_it #nav_gl_it a, #html #nav_html a, #internet #nav_internet a, #javascript #nav_javascript a, #linux_einfuehrung #nav_linux_einfuehrung a, #linux_administration #nav_linux_administration a, #linux_network_mgmt #nav_linux_network_mgmt a, #office #nav_office a, #php_sql #nav_php_sql a, #python #nav_python a, #windows #nav_windows a, #index #nav_index a, #software #nav_software a, #tools #nav_tools a {
/*   padding-right: 0.8em; */
/*   margin-right: 0em; */
/*   border-right: none; */
  background-color: #d7e1f3;
  color: #025;
  font-weight: bold;
  cursor: default;
}