docsite.css

/*
 * Copyright 2014 Pants project contributors (see CONTRIBUTORS.md).
 * Licensed under the Apache License, Version 2.0 (see LICENSE).
 */


body {
  background-color: #fff;
  color: #111;
  font-family: "Lato","proxima-nova","Helvetica Neue",Arial,sans-serif;
}

h1, h2, h3, h4, h5, h6 {
  color: #006;
  margin: 1em 0 0.3em -0.01em;
}

.navbar-brand-img {
  padding-top: 9px;
}

.mainflow {
  margin-bottom: 40em; /* So jumping to anchor link works OK close to content bottom. */
  line-height: 24px;
}

a:link, a:visited {
  text-decoration: none;
  color: #027bce;
}

a:hover {
  background-color: #fff;
}

pre {
  border: 1px solid #ddd;
  padding: 5px 10px 5px 10px;
  color: #006;
  white-space: pre-wrap;
}

ul, ol, dl {
  margin: 0 0 0.8em 0;
  padding: 0;
}

ul li, ol li {
  margin-left: 24px;
}

nav {
  z-index: 1;
}

/* on small screens, hide navigation by default */
@media screen and (max-width: 768px){
  #navtoggler { display: block; }
  nav { display: none; }
  div.mainflow { margin-left: 2px; }
}

/* Site-wide table of contents */

.site-toc ul {
  padding: 0.3rem 0;
  margin: 0;
  list-style-type: none;
}

.site-toc li.toc-link a {
  color: #027bce;
}

.site-toc li.toc-here, .site-toc li.toc-link:hover, .site-toc li.toc-link:hover a {
  background-color: #e5e7f3;
  color: black;
}

.site-toc ul li.toc-heading {
  padding-left: 0;
  padding-top: 1em;
  font-size: larger;
}

.site-toc ul li.toc-h0 {
  padding-left: 0;
}

.site-toc ul li.toc-h1 {
  padding-left: 0.5em;
  margin-top: 0.5em;
}

.site-toc ul li.toc-h2 {
  padding-left: 1.5em;
  font-size: smaller;
}

.site-toc ul li.toc-h3 {
  padding-left: 2.5em;
  font-size: smaller;
  color: #eee;
}

.site-toc ul li.toc-h4 {
  padding-left: 3.5em;
  font-size: smaller;
  color: #eee;
}

/* page's table of contents */

.codehilite {
  /* The pygments codehilite background color bleeds under the toc's float, and we don't
     need it anyway, so we forcefully override it here. */
  background-color: #fff !important;
}

nav.pagetoc {
  float: right;
  margin: 0 1em 0 1em;
  width: 300px;
}

nav.pagetoc ul {
  padding: 1.0em 0;
  margin: 0;
  list-style-type: none;
  background-color: #dde;
}

nav.pagetoc ul li {
  margin: 0.5em 1em;
  padding-right: 2px;
}

nav.pagetoc ul li:hover, nav.pagetoc ul li:hover a:hover {
  background-color: black;
  color: white;
}
nav.pagetoc ul li:hover a {
  color: white;
}
nav.pagetoc ul li.toc-h1 {
  padding-left: 0.25em;
}
nav.pagetoc ul li.toc-h2 {
  padding-left: 1.0em;
}
nav.pagetoc ul li.toc-h3 {
  padding-left: 2.0em;
}
nav.pagetoc ul li.toc-h4 {
  padding-left: 3.0em;
}

.deprecated {
  padding: 0.3rem 0;
  margin: 0;
  font-size: larger;
  background-color: lightcoral;
  text-align: center;
}

.deprecated a:hover {
  background-color: lightcoral;
  color: blue;
}

div.ci-status {
  position: absolute;
  top: 0;
  right: 0;
}

div.ci-status img {
  vertical-align: middle;
}

/* colophon at page bottom */
.generated {
  margin-top: 5em;
  font-size: 70%;
  text-align: center;
  color: #777;
}

.generated a {
  text-decoration: none;
}

.generated a:hover {
  background-color: #fff;
}

.index-report-server-page-img {
  border: 1px solid black;
  float: right;
  margin: 2px;
}

.index-intro-text {
  clear: right;
}