Guest User

Untitled

a guest
May 24th, 2018
95
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 3.95 KB | None | 0 0
  1. body {
  2. font-family: HelveticaNeue-Light, Helvetica Neue Light, Helvetica Neue, Liberation Sans;
  3. font-size: large;
  4. color: #657b83;
  5. background-color: #002b36;
  6. }
  7.  
  8. ul.toc {
  9. list-style-type: none;
  10. }
  11.  
  12. a {
  13. color: #b58900;
  14. text-decoration: none;
  15. }
  16.  
  17. em {
  18. color: #cb4b16;
  19. }
  20.  
  21. .asciilogo {
  22. font-size: large;
  23. color: #808080;
  24. }
  25.  
  26. .highlight {
  27. color: #073642;
  28. }
  29.  
  30. .error_description {
  31. font-size: large;
  32. background-color: #586e75;
  33. color: #dc322f;
  34. }
  35.  
  36. .syntax_error_description {
  37. font-size: large;
  38. background-color: #268bd2;
  39. color: #dc322f;
  40. }
  41.  
  42. .backtrace {
  43. font-size: small;
  44. color: #dc322f;
  45. }
  46.  
  47. .error_msg {
  48. font-size: large;
  49. color: #dc322f;
  50. }
  51.  
  52. .error_line {
  53. font-size: large;
  54. color: #dc322f;
  55. }
  56.  
  57. .error_msg {
  58. font-size: large;
  59. color: #dc322f;
  60. }
  61.  
  62. pre {
  63. font-family: "Fira Code", "Hack", "Menlo", "Bitstream Vera Sans Mono", "DejaVu Sans Mono", "Liberation Mono", "DroidSansMono", "Lucida Console", Consolas, Terminal, Monaco, "Courier New", monospace;
  64. }
  65.  
  66. code {
  67. font-family: "Fira Code", "Hack", "Courier New", "Menlo", "Bitstream Vera Sans Mono", "DejaVu Sans Mono", "Liberation Mono", "DroidSansMono", "Lucida Console", Consolas, Terminal, Monaco, "Courier New", monospace;
  68. color: #93a1a1;
  69. font-size: large;
  70. }
  71.  
  72. code .symbol {
  73. color: #93a1a1;
  74. }
  75.  
  76. code .number {
  77. color: #268bd2;
  78. }
  79.  
  80. code .keyword {
  81. color: #cb4b16;
  82. }
  83.  
  84. code .info {
  85. color: #586e75;
  86. }
  87.  
  88. .version {
  89. font-size: small;
  90. }
  91.  
  92. .strapline {
  93. font-size: large;
  94. }
  95.  
  96. .usage {
  97. color: #657b83;
  98. }
  99.  
  100. .usage code {
  101. font-size: large;
  102. color: #93a1a1;
  103. background-color: #073642;
  104. }
  105.  
  106. h1 {
  107. font-size: large;
  108. font-weight: bold;
  109. padding: 2px;
  110. color: #073642;
  111. background-color: #586e75;
  112. }
  113.  
  114. h2 {
  115. font-size: large;
  116. font-weight: bold;
  117. padding: 2px;
  118. color: #073642;
  119. background-color: #268bd2;
  120. }
  121.  
  122. body.info {
  123. font-family: "Fira Code", "Hack", "Menlo", "Bitstream Vera Sans Mono", "DejaVu Sans Mono", "Liberation Mono", "DroidSansMono", "Lucida Console", Consolas, Terminal, Monaco, "Courier New", monospace;
  124. }
  125.  
  126. body.info a {
  127. color: #586e75;
  128. }
  129.  
  130. body.example code {
  131. font-size: large;
  132. color: #586e75;
  133. }
  134.  
  135. body.manual .introduced {
  136. color: #cb4b16;
  137. font-size: large;
  138. }
  139.  
  140. body.manual table.arguments td {
  141. font-size: large;
  142. padding: 2px;
  143. font-family: "Fira Code", "Hack", "Menlo", "Bitstream Vera Sans Mono", "DejaVu Sans Mono", "Liberation Mono", "DroidSansMono", "Lucida Console", Consolas, Terminal, Monaco, "Courier New", monospace;
  144. }
  145.  
  146. body.manual table.arguments td.odd,
  147. body.manual table.arguments td.odd a {
  148. background-color: #073642;
  149. color: #839496;
  150. }
  151.  
  152. body.manual table.arguments td.even,
  153. body.manual table.arguments td.even a {
  154. background-color: #586e75;
  155. color: #839496;
  156. }
  157.  
  158. body.manual table.details td {
  159. padding: 8px;
  160. }
  161.  
  162. body.manual table.details td.key {
  163. font-family: "Fira Code", "Hack", "Menlo", "Bitstream Vera Sans Mono", "DejaVu Sans Mono", "Liberation Mono", "DroidSansMono", "Lucida Console", Consolas, Terminal, Monaco, "Courier New", monospace;
  164. font-size: large;
  165. color: #839496;
  166. }
  167.  
  168. body.manual table.details td.odd {
  169. background-color: #586e75;
  170. color: #839496;
  171. }
  172.  
  173. body.manual table.details td.even {
  174. background-color: #073642;
  175. color: #839496;
  176. }
  177.  
  178. body.manual table.details td.odd.key {
  179. background-color: #073642;
  180. color: #839496;
  181. }
  182.  
  183. body.manual table.details td.even.key {
  184. background-color: #586e75;
  185. color: #839496;
  186. }
  187.  
  188. body.manual table.details .properties {
  189. font-size: large;
  190. font-style: italic;
  191. }
  192.  
  193. body.manual table.examples td {
  194. padding: 8px;
  195. }
  196.  
  197. body.manual table.examples code {
  198. color: #839496;
  199. font-size: large;
  200. }
  201.  
  202. body.manual table.examples td.odd {
  203. background-color: #073642;
  204. }
  205.  
  206. body.manual table.examples td.even {
  207. background-color: #073642;
  208. }
  209.  
  210. body.manual table.examples td.odd.head {
  211. background-color: #586e75;
  212. }
  213.  
  214. body.manual table.examples td.even.head {
  215. background-color: #586e75;
  216. }
Add Comment
Please, Sign In to add comment