/******************************************************************/
/*                           TYPOGRAPHY                           */
/* (cf. http://practicaltypography.com/summary-of-key-rules.html) */
/******************************************************************/

html { font-size: 16px; } /* base unit */

body {
  font-family: "Fira Sans", Helvetica, sans-serif;
  color: #333;
  font-weight: 400;
  font-size: 17px; /* fallback */
  font-size: 1.0625rem; /* 17/16px */
  line-height: 27px;
  letter-spacing: -0.02em;

/* hyphenate justified text */
/* https://justmarkup.com/log/2015/07/dealing-with-long-words-in-css/ */
/*  text-align: justify;
  overflow-wrap: break-word;
  word-wrap: break-word;
  -webkit-hyphens: auto;
  -ms-hyphens: auto;
  -moz-hyphens: auto;
  hyphens: auto;*/
}

/* Headings */
h1, h2, h3, h4, h5, h6 {
  text-align: left;
  font-family: "Fira Sans", Helvetica, sans-serif;
  color: #111;
  letter-spacing: 0em;
}
h1 {
  text-align: center;
  font-weight: bold;
  line-height: 44px;
  margin-bottom: 20px;
}
h2 {
  font-size: 32px;
  line-height: 38px;
  margin-bottom: 16px;
  margin-top: 40px;
}

p { margin-bottom: 20px; }

a, a:hover, a:active, a:focus {
  color:#005580;
  font-weight: 400;
}

a:hover, a:active, a:focus { text-decoration: underline; }
.navbar { font-family: "Fira Sans", Helvetica, sans-serif; }


/****************/
/* FIXED NAVBAR */
/****************/

.navbar {
  opacity: 0.95;
  filter: alpha(opacity=95); /* For IE8 and earlier */
  font-variant: small-caps;
}

.navbar-header .navbar-brand,
.navbar-header .navbar-brand:hover,
.navbar-header .navbar-brand:focus {
  color: #005580;
  font-weight: 300;
  font-size: 1.2rem;
}

.navbar-fixed-top { min-height: 70px; }

/* vertically center menu elements */
.navbar-header > .navbar-brand,
.navbar-nav > li,
.navbar-nav > li > a {
    margin-bottom: 0px;
    padding-top: 0px;
    padding-bottom: 0px;
    line-height: 70px;
}

.navbar-nav a,
.navbar-nav a:hover,
.navbar-nav a:focus {
 font-weight: 300;
 font-size: 0.95rem;
}

.navbar-default .navbar-nav > li > a:hover,
.navbar-default .navbar-nav > li > a:focus,
.navbar-default .navbar-nav > .active > a:hover,
.navbar-default .navbar-nav > .active > a:focus {
  color: #005580;
  background-color: transparent; }

.navbar-default .navbar-nav > .active > a {
    color: #005580;
    background-color: transparent;
  }

body {
  padding-top: 110px; /* necessary for navbar-fixed-top */
  padding-bottom: 20px;
}


/*******************/
/* WINDOW-RESIZING */
/*******************/

/* BIGGER SCREENS */
@media (min-width: 768px) {
  .container {
    width: 680px;
    /*border-left: 1px dotted #005580;*/
    /*padding-left: 4%;*/
  }
}

/* SMALLER SCREENS */
@media (max-width: 767px) {

  body {
    padding-top: 60px; /* necessary for navbar-fixed-top */
  }

  /* horizontally and vertically centered website name */
  .navbar-header .navbar-brand {
    width:100%;
    text-align:center;
    float:left;
    padding-top: 10px;
    padding-bottom: 10px;
    line-height: 30px;
    }

  /* dropdown menu button */
  .responsive-dropdown button {
      position: absolute;
      right:0; top:0;
  }
  /* Dropdown Content (Hidden by Default) */
  .dropdown-content {
      display: none;
      position: absolute;
      background-color: #005580;
      right:0;
      top:0;
      width:100%;
  }

  /* Change color of dropdown links on hover */
  .dropdown-content li:hover { background-color: #1A668C; }
  .dropdown-content li a { color:#fff; }
  /* Show the dropdown menu on hover */
  .responsive-dropdown:hover .dropdown-content { display: block; }

  .navbar-nav a,
  .navbar-nav a:hover,
  .navbar-nav a:focus { color:#fff; }

  .navbar {
    opacity: 1;
    filter: alpha(opacity=100); /* For IE8 and earlier */
    color:#fff;
  }

  .navbar-default .navbar-nav li a,
  .navbar-default .navbar-nav a:hover,
  .navbar-default .navbar-nav a:focus,
  .navbar-default .navbar-nav > li > a:hover,
  .navbar-default .navbar-nav > li > a:focus { color:#fff; }

  .navbar-default .navbar-nav > .active > a,
  .navbar-default .navbar-nav > .active > a:hover,
  .navbar-default .navbar-nav > .active > a:focus {
    color:#fff;
    font-weight: 700;
  }

  /* decrease header height */
  .navbar-fixed-top { min-height: 20px; }

  .navbar-nav > li > a { /* vertically center menu elements */
    padding-top: 10px;
    padding-bottom: 10px;
    line-height: 20px;
  }
}


/*******************/
/* CUSTOM ELEMENTS */
/*******************/

blockquote.biblio {
  font-style: italic;
  border-color: #005580;
}

span.tabs {
  width:100px;
  display:block;
  float:left;
}
code, pre {
  font-family: Menlo, monospace;
  font-size: 13px;
  padding: 2px 4px;
  display: inline;
  page-break-inside: avoid;
  white-space: nowrap;
}
code {
  color: #d14;
  border: 1px solid #e1e1e8;
}
img.qrcode {
  margin:27px 0 0 100px;
  width: 128px;
  height: 128px;
}
hr {
  width:35%;
  margin: 5% 0 1% 0;
  border:none; /* avoid that there are two borders (top and bottom) that add up */
  border-bottom: 1px dotted #005580; /*#999999;*/
}
p.footnote {
  font-size: 12px;
  line-height: 18px;
  margin: 0 4em 0 0;
  padding-left: 13px ;
  text-indent: -13px ;
}