html { color: black; padding: 20px 10px 10px 10px; }

body { font-size: 13pt; line-height: 1.5em; font-family: Georgia, serif; }

th, td { padding-right: 10pt; }

div.twocol { -webkit-column-count: 3; /* Chrome, Safari, Opera */
             -moz-column-count: 3; /* Firefox */
             column-count: 2; }

div.col {
-webkit-column-break-inside: avoid;
               break-inside: avoid; }


.btn { font-family: sans-serif; }

code { font-size: 89%; background-color: transparent; }
span.nowrap code { white-space: nowrap; }
pre code { font-size: 89%; }
a.option code { color: inherit; }

header        { }
header span   { font-family: Arial, Verdana, sans-serif; }
header .big   { font-size: 36pt; border: none; }
header .small { font-size: 22pt; color: gray; }

ul ul { margin-bottom: 0.5em }

dd { margin-left: 2em; }

hr { height: 1px; color: #aaa; background-color: #aaa; border: 0; margin: .2em 0 .2em 0; }

h1.title { font-size: 24pt; }
h1, h2, h3 { font-weight: normal; border-bottom: 1px solid black; }
h4 { font-size: 14pt; font-style: bold; margin-top: 1em; }
h1 { font-size: 20pt; }
h2 { font-size: 18pt; }
h3 { font-size: 16pt; }

ul { list-style-type: square; }
dt { font-weight: bold; margin-bottom: .1em; }

table { margin-top: 1em; margin-bottom: 1em; }
table th { border-bottom: 1px solid black; }

blockquote { padding: 0 1.6em; color: #666; }

main { max-width: 46em; }

footer { padding: 1em; color: #888; text-align: center; font-size: 12pt; }

nav { font-family: Arial, Verdana, sans-serif; font-size: 12pt; font-weight: bold; }
nav { margin-top: 2em; }
nav ul { margin-top: 0; margin-bottom: 0; }
nav ul li { list-style: none; padding: 0; }
nav ul li > ul { margin-left: 1em; }
nav ul li a { text-decoration: none; }
nav label { }

.navbar-default { background-color: transparent; border: none; }

/* Tree menus */
.nav-header:after {
content: "\00A0\25BE";
}

div#toc {
  float: right;
  margin: 10px 0 60px 10px;
  background: white;
  max-width: 40%;
}
/*
div#toc:before {
  content: "Table of contents";
  margin: 0 0 15px 40px;
  font-weight: bold;
  display: block;
}
*/
div#toc li {
  list-style:none;
}
#toc > ul > li {
  position: relative;
  padding-bottom: 6px;
}
#toc .toggle {
  cursor: pointer;
  position: absolute;
  left: -28px;
  top: -2px;
  padding: 2px 10px;
  color: #337ab7;
}
#toc .toggle:hover {
  opacity: 0.5;
}

#tocbtn {
    width: 100%;
    text-align: right;
    font-size: 11pt;
    padding-left: 1em;
}

/* show the anchor links in headings if one hovers over the heading. */
.anchor::before {
  /* link symbol + variation selector-15 (UFE0E); the latter forces to use the
   current font, not some special emoji. */
  content: '🔗\FE0E';
  display: inline-block;
  font-size: 66%;
  left: -1.75em;
  line-height: 1.66;
  opacity: 0.15;
  padding-right: 0.5em;
  position: absolute;
}
.anchor:hover {
    text-decoration: none;
}
h1:hover > .anchor::before,
h2:hover > .anchor::before,
h3:hover > .anchor::before,
h4:hover > .anchor::before,
h5:hover > .anchor::before,
h6:hover > .anchor::before {
  opacity: 1;
}
/* end: heading anchor links */

div#flattr { float: right; font-size: 12pt; font-family: sans-serif; }
div#paypal { float: right; font-size: 12pt; font-family: sans-serif; }
div#bitcoin { float: right; font-size: 12pt; font-family: sans-serif; }
div#github-sponsors { float: right; font-size: 12pt; font-family: sans-serif; border-radius: 25px; background-color: cyan; width: 6em; text-align: center; font-weight: bold; font-size: 10pt; }

#downloadInstallerBtn {
  font-size: 1em;
  padding: 0.5em 1.5em;
  white-space: normal;
}