borg.css 3.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138
  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. /* bootstrap has a .container class which clashes with docutils' container class. */
  33. .docutils.container {
  34. width: auto;
  35. margin: 0;
  36. padding: 0;
  37. }
  38. /* the default (38px) produces a jumpy baseline in Firefox on Linux. */
  39. h1 {
  40. font-size: 36px;
  41. }
  42. .text-logo {
  43. background-color: #000200;
  44. color: #00dd00;
  45. }
  46. .text-logo:hover,
  47. .text-logo:active,
  48. .text-logo:focus {
  49. color: #5afe57;
  50. }
  51. /* by default the top and bottom margins are unequal which looks a bit unbalanced. */
  52. .sidebar-block {
  53. padding: 0;
  54. margin: 14px 0 14px 0;
  55. }
  56. #borg-documentation .external img {
  57. width: 100%;
  58. }
  59. .container.experimental,
  60. #debugging-facilities,
  61. #borg-recreate {
  62. /* don't change text dimensions */
  63. margin: 0 -30px; /* padding below + border width */
  64. padding: 0 10px; /* 10 px visual margin between edge of text and the border */
  65. /* fallback for browsers that don't have repeating-linear-gradient: thick, red lines */
  66. border-left: 20px solid red;
  67. border-right: 20px solid red;
  68. /* fancy red stripes */
  69. border-image: repeating-linear-gradient(
  70. -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;
  71. }
  72. .topic {
  73. margin: 0 1em;
  74. padding: 0 1em;
  75. /* #4e4a4a = background of the ToC sidebar */
  76. border-left: 2px solid #4e4a4a;;
  77. border-right: 2px solid #4e4a4a;;
  78. }
  79. /* the rtd theme has "nowrap" here which causes tables to have scroll bars.
  80. * undo that setting. it does not seem to cause issues, even when making the
  81. * viewport narrow.
  82. */
  83. .wy-table-responsive table td, .wy-table-responsive table th {
  84. white-space: normal;
  85. }
  86. /* for some reason the rtd theme makes text in tables very small.
  87. * fix that.
  88. */
  89. .wy-table td,
  90. .rst-content table.docutils td,
  91. .rst-content table.field-list td,
  92. .wy-table th,
  93. .rst-content table.docutils th,
  94. .rst-content table.field-list th {
  95. font-size: 100%;
  96. }
  97. code,
  98. .rst-content tt.literal,
  99. .rst-content tt.literal,
  100. .rst-content code.literal,
  101. .rst-content tt,
  102. .rst-content code,
  103. p .literal,
  104. p .literal span {
  105. border: none;
  106. padding: 0;
  107. color: black; /* slight contrast with #404040 of regular text */
  108. background: none;
  109. }
  110. cite {
  111. white-space: nowrap;
  112. color: black; /* slight contrast with #404040 of regular text */
  113. font-family: Consolas, "Andale Mono WT", "Andale Mono", "Lucida Console", "Lucida Sans Typewriter",
  114. "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Liberation Mono", "Nimbus Mono L", Monaco, "Courier New", Courier, monospace;
  115. font-style: normal;
  116. text-decoration: underline;
  117. }