@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; }