123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138 |
- @import url("theme.css");
- /* The Return of the Borg.
- *
- * Have a bit green and grey and darkness (and if only in the upper left corner).
- */
- .wy-side-nav-search {
- background-color: #000000 !important;
- }
- .wy-side-nav-search input[type="text"] {
- border-color: #000000;
- }
- .wy-side-nav-search > a {
- color: rgba(255, 255, 255, 0.5);
- }
- .wy-side-nav-search > div.version {
- color: rgba(255, 255, 255, 0.5);
- }
- dt code {
- font-weight: normal;
- }
- #internals .toctree-wrapper > ul {
- column-count: 3;
- -webkit-column-count: 3;
- }
- #internals .toctree-wrapper > ul > li {
- display: inline-block;
- font-weight: bold;
- }
- #internals .toctree-wrapper > ul > li > ul {
- font-weight: normal;
- }
- /* bootstrap has a .container class which clashes with docutils' container class. */
- .docutils.container {
- width: auto;
- margin: 0;
- padding: 0;
- }
- /* the default (38px) produces a jumpy baseline in Firefox on Linux. */
- h1 {
- font-size: 36px;
- }
- .text-logo {
- background-color: #000200;
- color: #00dd00;
- }
- .text-logo:hover,
- .text-logo:active,
- .text-logo:focus {
- color: #5afe57;
- }
- /* by default the top and bottom margins are unequal which looks a bit unbalanced. */
- .sidebar-block {
- padding: 0;
- margin: 14px 0 14px 0;
- }
- #borg-documentation .external img {
- width: 100%;
- }
- .container.experimental,
- #debugging-facilities,
- #borg-recreate {
- /* don't change text dimensions */
- margin: 0 -30px; /* padding below + border width */
- padding: 0 10px; /* 10 px visual margin between edge of text and the border */
- /* fallback for browsers that don't have repeating-linear-gradient: thick, red lines */
- border-left: 20px solid red;
- border-right: 20px solid red;
- /* fancy red stripes */
- border-image: repeating-linear-gradient(
- -45deg,rgba(255,0,0,0.1) 0,rgba(255,0,0,0.75) 10px,rgba(0,0,0,0) 10px,rgba(0,0,0,0) 20px,rgba(255,0,0,0.75) 20px) 0 20 repeat;
- }
- .topic {
- margin: 0 1em;
- padding: 0 1em;
- /* #4e4a4a = background of the ToC sidebar */
- border-left: 2px solid #4e4a4a;;
- border-right: 2px solid #4e4a4a;;
- }
- /* the rtd theme has "nowrap" here which causes tables to have scroll bars.
- * undo that setting. it does not seem to cause issues, even when making the
- * viewport narrow.
- */
- .wy-table-responsive table td, .wy-table-responsive table th {
- white-space: normal;
- }
- /* for some reason the rtd theme makes text in tables very small.
- * fix that.
- */
- .wy-table td,
- .rst-content table.docutils td,
- .rst-content table.field-list td,
- .wy-table th,
- .rst-content table.docutils th,
- .rst-content table.field-list th {
- font-size: 100%;
- }
- code,
- .rst-content tt.literal,
- .rst-content tt.literal,
- .rst-content code.literal,
- .rst-content tt,
- .rst-content code,
- p .literal,
- p .literal span {
- border: none;
- padding: 0;
- color: black; /* slight contrast with #404040 of regular text */
- background: none;
- }
- cite {
- white-space: nowrap;
- color: black; /* slight contrast with #404040 of regular text */
- font-family: Consolas, "Andale Mono WT", "Andale Mono", "Lucida Console", "Lucida Sans Typewriter",
- "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Liberation Mono", "Nimbus Mono L", Monaco, "Courier New", Courier, monospace;
- font-style: normal;
- text-decoration: underline;
- }
|