body {
  background-color: #fff;
  color: #0e212e;
  font-family: sans-serif;
  font-size: 10pt;
  margin-right: 100px;
  margin-left: 100px;
}

a:link {
  color: #1f2669;
}

a:visited {
  color: #2b6790;
}

a:hover {
  color: #691f4b;
}

h1, h2, h3, h4, h5, h6, .toc_title {
  font-family: sans-serif;
  color: #1f4b69;
  margin-top: 2em;
  margin-bottom: 1em;
}

h1 {
  text-align: center;
  font-size: 18pt;
}

h2, .toc_title {
  font-weight: bold;
  font-size: 12pt;
  margin-left: -40px;
}

h3, h4, h5, h6 {
  font-size: 10pt;
  margin-left: -20px;
}

// clear floating boxes (C++11 box) on new stylepoints / categories
h1, h2, h3 {
  clear: right;
}

.toc_category, .toc_stylepoint {
  font-family: sans-serif;
  font-size: 10pt;
  padding-top: .3em;
  padding-bottom: .3em;
}

table {
  border-collapse: collapse;
}

td, th {
  border: 1px solid #ccc;
  padding: 2px 12px;
  font-size: 10pt;
}

.toc td, .toc th {
  border-width: 1px 5px;
}

.todo_section {
  font-size: 150%;
  font-weight: bold;
}

code, samp, var {
  color: #2a6790;
}

div.cpp11box {
  float: right;
  clear: right;
  width: 50%;
  margin-right: -80px;
  margin-left: 1em;
  margin-top: 1ex;
  margin-bottom: 1ex;
  display: block;
  border-color: #1f4b69;
  border-style: solid;
  border-width: 1px;
  border-radius: 5px;
  -webkit-border-radius: 5px;
  -moz-border-radius: 5px;
  background-color: #dff3ff;
  padding: 0;
}
div.cpp11Header {
  background-color: #1f4b69;
  color: #dff3ff;
  text-align: right;
  margin: 0;
  padding-left:  0.5em;
  padding-right: 1.0em;
  padding-top:    2px;
  padding-bottom: 0;
  border-radius: 4px 4px 0 0;
  -webkit-border-radius: 4px 4px 0 0;
  -moz-border-radius: 4px 4px 0 0;
}
div.cpp11 {
  margin-left:  0.5em;
  margin-right: 0.5em;
  margin-top:    0.5ex;
  margin-bottom: 0.5em;
  padding: 0;
}

pre {
  white-space: pre-wrap;
  font-size: 10pt;
  display: block;
  color: #2a6790;
  background-color: #f8fff8;
  border-color: #f0fff0;
  border-style: solid;
  border-top-width: 1px;
  border-bottom-width: 1px;
  border-right-width: 1px;
  border-left-width: 5px;
  padding-left: 12px;
  padding-right: 12px;
  padding-top: 4px;
  padding-bottom: 4px;
}

pre.badcode {
  color: #c00;
  background-color: #fff8f8;
  border-color: #fff0f0;
}

.showhide_extrabutton,
.showhide_button {
  float: left;
  cursor: pointer;
  border-width: 1px;
  border-style: solid;
  border-color: #ddd #aaa #aaa #ddd;
  padding: 0 3px 1px;
  margin: 0 4px 8px 0;
  border-radius: 3px;
  -webkit-border-radius: 3px;
  -moz-border-radius: 3px;
}

.link_button {
  float: left;
  display: none;
  background-color: #f8f8ff;
  border-color: #f0f0ff;
  border-style: solid;
  border-width: 1px;
  font-size: 75%;
  margin-top: 0;
  margin-left: -50px;
  padding: 4px;
  border-radius: 3px;
  -webkit-border-radius: 3px;
  -moz-border-radius: 3px;
}

.cpp11_marker {
  float: left;
  background-color: #1f4b69;
  border-color: #1f4b69;
  border-style: solid;
  border-width: 1px;
  color: #dff3ff;
  font-size: 75%;
  font-weight: bold;
  margin-top: 3ex;
  margin-right: 1em;
  margin-left: -100px;
  text-align: center;
  width: 40px;
  padding: 4px;
  border-radius: 1ex;
  -webkit-border-radius: 1ex;
  -moz-border-radius: 1ex;
}

address {
  text-align: right;
}

hr {
  margin-top: 3.5em;
  border-width: 1px;
  color: #fff;
}

.stylepoint_section {
  display: block;
  margin-bottom: 1em;
  color: #24597d;
  font-size: 90%;
  font-weight: bold;
  margin-left: -2%;
}

.stylepoint_subsection {
  color: #24597d;
  font-size: 90%;
  font-weight: bold;
  margin-left: -1%;
}

.stylepoint_subsubsection {
  color: #24597d;
  font-size: 80%;
  font-weight: bold;
  margin-left: 0;
}

.revision {
  text-align: right;
}

.comment_author {
  color: #3075A4;
}

.comment_barth {
  color: #660000;
}

@page {
  margin-left: 0;
  margin-right: 0;
}
@media print {
  body {
    font-size: 11pt;
    color: black;

    margin-left: 2cm;
    margin-right: 2cm;

    text-align: justify;
  }
  h2, .toc_title {
    margin-left: 0px;
  }
  h3, h4, h5, h6 {
    margin-left: 0px;
  }
  .stylepoint_section {
    margin-left: 0px;
  }
  .stylepoint_subsection {
    margin-left: 0px;
  }
  .cpp11_marker {
    margin-left: -17mm;
    margin-right: 0.5em;
    margin-top: 0;
    background: white;
    color: #1f4b69;
  }
  div.cpp11box {
    margin-right: -1cm;
    background: white;
  }
  div.cpp11Header {
    background: none;
    border-bottom: 1px solid #1f4b69;
    color: #1f4b69;
  }
  .showhide_button {
    display: none;
  }
  .link_button {
    display: none;
    visibility: hidden;
  }
  a {
  }
  a:link {
    text-decoration: none;
    color: black;
  }
  a:visited {
    text-decoration: none;
    color: black;
  }
  a:hover {
    text-decoration: none;
    color: black;
  }
  stylepoint_body {
    display: inline;
  }
}