/* A LaTeX inspired but somehow minimal-modernist CSS style ********************
** 
** Copyright (C) 2011-2014 Stefano Peluchetti. All rights reserved.
**
** Document structure:
** body
**   left
**     logo
**     nav
**   right
**     head
**     content
**     foot
*******************************************************************************/

h1 { /* Logo and title. */
  margin-top: 16px;
  margin-bottom: 16px;
  
  font-weight: normal; /* Never bold, we custom fonts. */
}

h2 { /* Sections. */
  margin-top: 1.5em;
  
  font-family: LatinModernRoman10Bold, Arial, serif;
  font-weight: normal;
}

h3 { /* Sub-Sections */
  margin-top: 1.5em;
  margin-bottom: 0em;
  
  font-family: LatinModernRoman10Bold, Arial, serif;
  font-weight: normal;
  text-align: left;
}

h3.api { /* API functions. */ 
  padding:0.5em;
  border-radius: 6px;
  background-color: #f8f8f8;
  border: 1px solid #ddd;
  
  font-family: Menlo, dejavu_sans_monobook, Consolas, 'Courier New', Courier, monospace;
  font-weight: bold;
  font-size: 10pt;
  text-align: left;
}

strong {
  font-family: LatinModernRoman10Bold, Arial, serif;
  font-weight: normal;
}

code {
  font-family: Menlo, dejavu_sans_monobook, Consolas, 'Courier New', Courier, monospace;
  font-size: 10pt;
}

td, th {
  padding: 0.1em 1em;
  
  font-family: Menlo, dejavu_sans_monobook, Consolas, 'Courier New', Courier, monospace;
  font-size: 10pt;

  vertical-align:text-top;
  text-align: inherit;
}

img {
    display: inline-block;
    margin-left: auto;
    margin-right: auto;
}

#images{
    text-align:center;
}

table {
  margin-bottom: 1.5em;
  margin-top: 1.5em;
  margin-left:auto; 
  margin-right:auto;
  padding: 0.2em;

  border-radius: 6px;
  background-color: #f8f8f8;
  border: 1px solid #ddd;

  text-align: left;
  caption-side: bottom;
}

/* Body ***********************************************************************/
#body { 
  margin: 0;
  padding: 0;
}

/* Left ***********************************************************************/
#left {
  margin-left: 30px; 
  margin-right: 30px;
  
  float: left;
  width: 170px;

  display: block;
  position: fixed;
  overflow: auto;
}

#left::-webkit-scrollbar { 
  display: none; 
}

/* Logo ***********************************************************************/
#logo {
  border-top-style:solid;
  border-bottom-style:solid;
  border-width: 1px;
  border-color: #333333;
  
  font-family: LatinModernRomanCaps10Regular, Arial, serif;
  text-align: center;
}
#logo a:link, #logo a:visited, #logo a:hover, #logo a:focus, #logo a:active {
  text-decoration: none;
  font-weight: normal;
  color: blue;
}

/* Nav ************************************************************************/
#nav {
  margin-top: 1em;
  font-family: LatinModernRoman10Regular, Arial, serif;
  text-align: left;
  font-size: 12pt;
  line-height: 14pt;
}
#nav a {
  border-top-style:solid;
  border-bottom-style:solid;
  border-width: 1px;
  border-color: white;
  display: block;
  color: blue;
  text-decoration: none;
  line-height: 16pt;
}
#nav a:hover, #nav a:active {
  border-top-style:dashed;
  border-bottom-style:dashed;
  border-width: 1px;
  border-color: blue;
}
#nav a.current, #nav a.current:hover, #nav a.current:active {
  border-top-style:dashed;
  border-bottom-style:dashed;
  border-width: 1px;
  border-color: black;
}
#nav ul {
  margin: 0;
  padding: 0;
  
  list-style-type: none;
  list-style-position: outside;
}
#nav li {
  margin: 0;
  padding: 0;
}
#nav ul ul a {
  padding-left: 10px;
}
#nav ul ul ul a {
  padding-left: 20px;
}

/* Right **********************************************************************/
#right {
  margin-top: 30px;
  margin-left: 230px;
  padding-left: 30px;  
  padding-right: 30px;

  max-width: 715px;
}

/* Head ***********************************************************************/
#head {
  margin: 0;
  border-top-style:solid;
  border-bottom-style:solid;
  border-width: 1px;
  border-color: #333333;
  
  font-family: LatinModernRoman10Regular, Arial, serif;
  text-align: center;
}

/* Content ********************************************************************/
#content {
  font-family: LatinModernRoman10Regular, Arial, serif;
  text-align: justify;
  font-size: 12pt;
  line-height: 14pt;
}

#content a {
  color: blue;
  text-decoration: none;
}

/* Foot ***********************************************************************/
#foot {
  margin-bottom: 30px;
  margin-top: 16px;
  border-top-style:solid;
  border-bottom-style:solid;
  border-width: 1px;
  border-color: #333333;
  
  font-family: LatinModernRomanCaps10Regular, Arial, serif;
  text-align: center;
  font-size: 75%;
}

/* Latex fonts ****************************************************************/

@font-face {
    font-family: 'LatinModernRoman10Regular';
    src: url('fonts/lmroman10-regular-webfont.eot');
    src: url('fonts/lmroman10-regular-webfont.eot?#iefix') format('embedded-opentype'),
         url('fonts/lmroman10-regular-webfont.woff') format('woff'),
         url('fonts/lmroman10-regular-webfont.ttf') format('truetype'),
         url('fonts/lmroman10-regular-webfont.svg#LatinModernRoman10Regular') format('svg');
    font-weight: normal;
    font-style: normal;

}

@font-face {
    font-family: 'LatinModernRoman10Italic';
    src: url('fonts/lmroman10-italic-webfont.eot');
    src: url('fonts/lmroman10-italic-webfont.eot?#iefix') format('embedded-opentype'),
         url('fonts/lmroman10-italic-webfont.woff') format('woff'),
         url('fonts/lmroman10-italic-webfont.ttf') format('truetype'),
         url('fonts/lmroman10-italic-webfont.svg#LatinModernRoman10Italic') format('svg');
    font-weight: normal;
    font-style: normal;

}

@font-face {
    font-family: 'LatinModernRoman10Bold';
    src: url('fonts/lmroman10-bold-webfont.eot');
    src: url('fonts/lmroman10-bold-webfont.eot?#iefix') format('embedded-opentype'),
         url('fonts/lmroman10-bold-webfont.woff') format('woff'),
         url('fonts/lmroman10-bold-webfont.ttf') format('truetype'),
         url('fonts/lmroman10-bold-webfont.svg#LatinModernRoman10Bold') format('svg');
    font-weight: normal;
    font-style: normal;

}

@font-face {
    font-family: 'LatinModernRoman10BoldItalic';
    src: url('fonts/lmroman10-bolditalic-webfont.eot');
    src: url('fonts/lmroman10-bolditalic-webfont.eot?#iefix') format('embedded-opentype'),
         url('fonts/lmroman10-bolditalic-webfont.woff') format('woff'),
         url('fonts/lmroman10-bolditalic-webfont.ttf') format('truetype'),
         url('fonts/lmroman10-bolditalic-webfont.svg#LatinModernRoman10BoldItalic') format('svg');
    font-weight: normal;
    font-style: normal;

}

@font-face {
    font-family: 'LatinModernRomanCaps10Regular';
    src: url('fonts/lmromancaps10-regular-webfont.eot');
    src: url('fonts/lmromancaps10-regular-webfont.eot?#iefix') format('embedded-opentype'),
         url('fonts/lmromancaps10-regular-webfont.woff') format('woff'),
         url('fonts/lmromancaps10-regular-webfont.ttf') format('truetype'),
         url('fonts/lmromancaps10-regular-webfont.svg#LatinModernRomanCaps10Regular') format('svg');
    font-weight: normal;
    font-style: normal;

}

@font-face { /* Code. */
    font-family: 'LatinModernMono10Regular';
    src: url('fonts/lmmono10-regular-webfont.eot');
    src: url('fonts/lmmono10-regular-webfont.eot?#iefix') format('embedded-opentype'),
         url('fonts/lmmono10-regular-webfont.woff') format('woff'),
         url('fonts/lmmono10-regular-webfont.ttf') format('truetype'),
         url('fonts/lmmono10-regular-webfont.svg#LatinModernMono10Regular') format('svg');
    font-weight: normal;
    font-style: normal;

}

@font-face { /* API functions. */
    font-family: 'LatinModernMonoLight10Bold';
    src: url('fonts/lmmonolt10-bold-webfont.eot');
    src: url('fonts/lmmonolt10-bold-webfont.eot?#iefix') format('embedded-opentype'),
         url('fonts/lmmonolt10-bold-webfont.woff') format('woff'),
         url('fonts/lmmonolt10-bold-webfont.ttf') format('truetype'),
         url('fonts/lmmonolt10-bold-webfont.svg#LatinModernMonoLight10Bold') format('svg');
    font-weight: normal;
    font-style: normal;

}

/* DejaVu Sans Mono fonts *****************************************************/

@font-face {
    font-family: 'dejavu_sans_monobold_oblique';
    src: url('fonts/dejavusansmono-boldoblique-webfont.eot');
    src: url('fonts/dejavusansmono-boldoblique-webfont.eot?#iefix') format('embedded-opentype'),
         url('fonts/dejavusansmono-boldoblique-webfont.woff') format('woff'),
         url('fonts/dejavusansmono-boldoblique-webfont.ttf') format('truetype'),
         url('fonts/dejavusansmono-boldoblique-webfont.svg#dejavu_sans_monobold_oblique') format('svg');
    font-weight: normal;
    font-style: normal;

}

@font-face {
    font-family: 'dejavu_sans_monooblique';
    src: url('fonts/dejavusansmono-oblique-webfont.eot');
    src: url('fonts/dejavusansmono-oblique-webfont.eot?#iefix') format('embedded-opentype'),
         url('fonts/dejavusansmono-oblique-webfont.woff') format('woff'),
         url('fonts/dejavusansmono-oblique-webfont.ttf') format('truetype'),
         url('fonts/dejavusansmono-oblique-webfont.svg#dejavu_sans_monooblique') format('svg');
    font-weight: normal;
    font-style: normal;

}

@font-face {
    font-family: 'dejavu_sans_monobold';
    src: url('fonts/dejavusansmono-bold-webfont.eot');
    src: url('fonts/dejavusansmono-bold-webfont.eot?#iefix') format('embedded-opentype'),
         url('fonts/dejavusansmono-bold-webfont.woff') format('woff'),
         url('fonts/dejavusansmono-bold-webfont.ttf') format('truetype'),
         url('fonts/dejavusansmono-bold-webfont.svg#dejavu_sans_monobold') format('svg');
    font-weight: normal;
    font-style: normal;

}

@font-face {
    font-family: 'dejavu_sans_monobook';
    src: url('fonts/dejavusansmono-webfont.eot');
    src: url('fonts/dejavusansmono-webfont.eot?#iefix') format('embedded-opentype'),
         url('fonts/dejavusansmono-webfont.woff') format('woff'),
         url('fonts/dejavusansmono-webfont.ttf') format('truetype'),
         url('fonts/dejavusansmono-webfont.svg#dejavu_sans_monobook') format('svg');
    font-weight: normal;
    font-style: normal;

}