2015-11-20 17:51:11 +00:00
|
|
|
@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 {
|
2016-03-10 01:01:49 +00:00
|
|
|
background-color: #000000 !important;
|
2015-11-20 17:51:11 +00:00
|
|
|
}
|
|
|
|
|
2016-08-23 12:27:26 +00:00
|
|
|
.wy-side-nav-search input[type="text"] {
|
|
|
|
border-color: #000000;
|
|
|
|
}
|
|
|
|
|
2015-11-20 17:51:11 +00:00
|
|
|
.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);
|
|
|
|
}
|
2016-04-09 23:28:18 +00:00
|
|
|
|
2017-06-06 22:06:36 +00:00
|
|
|
dt code {
|
2016-04-09 23:28:18 +00:00
|
|
|
font-weight: normal;
|
|
|
|
}
|
2017-02-14 22:11:21 +00:00
|
|
|
|
2017-06-05 13:39:55 +00:00
|
|
|
#internals .toctree-wrapper > ul {
|
|
|
|
column-count: 3;
|
2017-06-05 14:04:03 +00:00
|
|
|
-webkit-column-count: 3;
|
2017-06-05 13:39:55 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#internals .toctree-wrapper > ul > li {
|
|
|
|
display: inline-block;
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
|
|
|
|
#internals .toctree-wrapper > ul > li > ul {
|
|
|
|
font-weight: normal;
|
|
|
|
}
|
2017-06-09 11:57:27 +00:00
|
|
|
|
|
|
|
.experimental,
|
|
|
|
#debugging-facilities,
|
|
|
|
#borg-recreate {
|
|
|
|
/* don't change text dimensions */
|
|
|
|
margin: 0 -40px; /* padding below + border width */
|
|
|
|
padding: 0 20px; /* 20 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;
|
2017-06-09 16:43:24 +00:00
|
|
|
/* fancy red stripes */
|
2017-06-09 11:57:27 +00:00
|
|
|
border-image: repeating-linear-gradient(
|
2017-06-09 16:43:24 +00:00
|
|
|
-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;
|
|
|
|
}
|
2017-06-09 14:54:55 +00:00
|
|
|
|
|
|
|
.topic {
|
|
|
|
margin: 0 1em;
|
|
|
|
padding: 0 1em;
|
|
|
|
/* #4e4a4a = background of the ToC sidebar */
|
|
|
|
border-left: 2px solid #4e4a4a;;
|
|
|
|
border-right: 2px solid #4e4a4a;;
|
2017-06-09 11:57:27 +00:00
|
|
|
}
|