123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354 |
- @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;
- }
- .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;
- /* fancy red-orange stripes */
- border-image: repeating-linear-gradient(
- -45deg,red 0,red 10px,#ffa800 10px,#ffa800 20px,red 20px) 0 20 repeat;
- }
|