body {
  margin: 0;
  padding: 0;
}

.highlight pre {
  padding: 15px;
}

.highlight pre code {
  font-size: 12px;
}

article h1 {
  font-size: 18px;
  border-bottom: 1px solid rgba(34, 36, 38, .15);
}

article h2 {
  font-size: 16px;
}

article h3 {
  font-size: 14px;
  text-transform: uppercase;
}

article table th {
  background: #f9f9f9;
  padding: 5px 8px;
  border-bottom: 1px solid #eee;
}

article table {
  border-spacing: 0;
}

article table td[align=left] {
  padding-right: 15px;
  padding-left: 5px;
}


#tableOfContents ul {
  list-style: none;
  width: 100%;
}

#tableOfContents>ul {
  padding-left: 0;
}

#tableOfContents ul ul {
  font-size: 0.9em;
  padding-left: 10px;
}

#tableOfContents ul li {
  padding-left: none;
}

#tableOfContents>ul li a {
  font-weight: bold;
}

#tableOfContents>ul ul li a {
  font-weight: normal;
}


#tableOfContents>ul ul ul {
  display: none;
}

#tableOfContents ul li a {
  display: block;
  padding: 5px 8px;
  color: #444;
}

#tableOfContents ul li a:hover {
  color: #000;
  background: #f5f5f5;
}

code {
  background: #f9f9f9;
  border: 1px solid #e0e0e0;
  display: inline-block;
  padding: 0 2px;
}

pre>code {
  background: none;
  border: none;
  padding: 0;
}

.fadebg {
  margin: 0;
  padding: 0;
  background: radial-gradient(circle at 50% 50%, #6f0000 29%, #200122 150%) !important;
  background-attachment: fixed;
}


.fadebg .ui.header {
  font-family: sans-serif;
  font-weight: 300;
}

a {
  color: #990000;
  font-weight: bold;
}

a:hover {
  color: #ff0000;
}

.instruments {
  background: url('/instruments.png');
  width: 100%;
  background-repeat:no-repeat;
  background-position: center center;
  background-size: contain;
  height: 40%;
}

#download-buttons .button.active {
  background: rgba(255,255,255,0.2) !important;
  color: white !important;
}

h1.title-header {
  font-size: 48px !important;
}

.hero1 {
  max-width: 700px;
  height: 480px;
  margin: auto;
  background: url('/hero1.png');
  background-repeat: no-repeat;
  background-size: contain;
  background-position: center;
}

@media only screen and (max-width: 700px) {
  .hero1 {
    height: 300px;
  }
}

@media only screen and (-Webkit-min-device-pixel-ratio: 1.5),
only screen and (-moz-min-device-pixel-ratio: 1.5),
only screen and (-o-min-device-pixel-ratio: 3/2),
only screen and (min-device-pixel-ratio: 1.5) {
  #logo {
    background-image: url(/header-white@2x.png);
  }

  #logo-black {
    background-image: url(/header-black@2x.png);
  }

  .hero1 {
    background-image: url(/hero1@2x.png);

  }
}

.ui.breadcrumb a.section {
  color: #990000;
}

.ui.breadcrumb a.section:hover {
  color: #ff0000;
}

.ui.breadcrumb .section.active {
  color: #999;
}