borg.css 1.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354
  1. @import url("theme.css");
  2. /* The Return of the Borg.
  3. *
  4. * Have a bit green and grey and darkness (and if only in the upper left corner).
  5. */
  6. .wy-side-nav-search {
  7. background-color: #000000 !important;
  8. }
  9. .wy-side-nav-search input[type="text"] {
  10. border-color: #000000;
  11. }
  12. .wy-side-nav-search > a {
  13. color: rgba(255, 255, 255, 0.5);
  14. }
  15. .wy-side-nav-search > div.version {
  16. color: rgba(255, 255, 255, 0.5);
  17. }
  18. dt code {
  19. font-weight: normal;
  20. }
  21. #internals .toctree-wrapper > ul {
  22. column-count: 3;
  23. -webkit-column-count: 3;
  24. }
  25. #internals .toctree-wrapper > ul > li {
  26. display: inline-block;
  27. font-weight: bold;
  28. }
  29. #internals .toctree-wrapper > ul > li > ul {
  30. font-weight: normal;
  31. }
  32. .experimental,
  33. #debugging-facilities,
  34. #borg-recreate {
  35. /* don't change text dimensions */
  36. margin: 0 -40px; /* padding below + border width */
  37. padding: 0 20px; /* 20 px visual margin between edge of text and the border */
  38. /* fallback for browsers that don't have repeating-linear-gradient: thick, red lines */
  39. border-left: 20px solid red;
  40. border-right: 20px solid red;
  41. /* fancy red-orange stripes */
  42. border-image: repeating-linear-gradient(
  43. -45deg,red 0,red 10px,#ffa800 10px,#ffa800 20px,red 20px) 0 20 repeat;
  44. }