rust.css 4.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355
  1. /* General structure */
  2. body {
  3. margin: 0 auto;
  4. padding: 0 15px;
  5. font-size: 18px;
  6. color: #333;
  7. line-height: 1.428571429;
  8. -webkit-box-sizing: unset;
  9. -moz-box-sizing: unset;
  10. box-sizing: unset;
  11. }
  12. @media (min-width: 768px) {
  13. body {
  14. max-width: 750px;
  15. }
  16. }
  17. h2, h3, h4, h5, h6 {
  18. font-weight: 400;
  19. line-height: 1.1;
  20. }
  21. h1, h2, h3 {
  22. margin-top: 20px;
  23. margin-bottom: 15px;
  24. }
  25. h1 {
  26. margin-bottom: 20px;
  27. line-height: 1.1;
  28. }
  29. h4, h5, h6 {
  30. margin-top: 12px;
  31. margin-bottom: 10px;
  32. padding: 5px 10px;
  33. }
  34. h5, h6 {
  35. color: black;
  36. text-decoration: underline;
  37. }
  38. h1 {
  39. font-size: 28px;
  40. font-weight: 500;
  41. padding: .1em .4em;
  42. border-bottom: 2px solid #ddd;
  43. }
  44. h1.title {
  45. line-height: 1.5em;
  46. }
  47. h2 {
  48. font-size: 26px;
  49. padding: .2em .5em;
  50. border-bottom: 1px solid #ddd;
  51. }
  52. h3 {
  53. font-size: 24px;
  54. padding: .2em .7em;
  55. border-bottom: 1px solid #DDE8FC;
  56. }
  57. h4 {
  58. font-size: 22px;
  59. border-bottom: none;
  60. }
  61. h5 {
  62. font-size: 20px;
  63. }
  64. h6 {
  65. font-size: 18px;
  66. }
  67. @media (min-width: 992px) {
  68. h1 {
  69. font-size: 36px;
  70. }
  71. h2 {
  72. font-size: 30px;
  73. }
  74. h3 {
  75. font-size: 26px;
  76. }
  77. }
  78. nav {
  79. column-count: 2;
  80. -moz-column-count: 2;
  81. -webkit-column-count: 2;
  82. font-size: 15px;
  83. margin: 0 0 1em 0;
  84. }
  85. p {
  86. margin: 0 0 1em 0;
  87. }
  88. strong {
  89. font-weight: bold;
  90. }
  91. em {
  92. font-style: italic;
  93. }
  94. footer {
  95. border-top: 1px solid #ddd;
  96. font-size: 14px;
  97. font-style: italic;
  98. padding-top: 5px;
  99. margin-top: 3em;
  100. margin-bottom: 1em;
  101. }
  102. /* Links layout */
  103. a {
  104. text-decoration: none;
  105. color: #428BCA;
  106. background: transparent;
  107. }
  108. a:hover, a:focus {
  109. color: #2A6496;
  110. text-decoration: underline;
  111. }
  112. a:focus {
  113. outline: thin dotted #333;
  114. outline: 5px auto -webkit-focus-ring-color;
  115. outline-offset: -2px;
  116. }
  117. a:hover, a:active {
  118. outline: 0;
  119. }
  120. h1 a:link, h1 a:visited, h2 a:link, h2 a:visited,
  121. h3 a:link, h3 a:visited, h4 a:link, h4 a:visited,
  122. h5 a:link, h5 a:visited {color: black;}
  123. /* Code */
  124. pre, code {
  125. word-wrap: break-word;
  126. }
  127. pre {
  128. border-left: 2px solid #eee;
  129. white-space: pre-wrap;
  130. padding-right: 0;
  131. margin: 20px 0;
  132. font-size: 15px;
  133. word-break: break-all;
  134. }
  135. code {
  136. padding: 0 2px;
  137. color: #8D1A38;
  138. }
  139. pre code {
  140. padding: 0;
  141. font-size: inherit;
  142. color: inherit;
  143. }
  144. a > code {
  145. color: #428BCA;
  146. }
  147. .section-header > a > code {
  148. color: #8D1A38;
  149. }
  150. #versioninfo {
  151. text-align: center;
  152. margin: 0.5em;
  153. font-size: 1.1em;
  154. }
  155. @media (min-width: 992px) {
  156. #versioninfo {
  157. font-size: 0.8em;
  158. position: fixed;
  159. bottom: 0px;
  160. right: 0px;
  161. }
  162. .white-sticker {
  163. background-color: #fff;
  164. margin: 2px;
  165. padding: 0 2px;
  166. border-radius: .2em;
  167. }
  168. }
  169. #versioninfo a.hash {
  170. color: gray;
  171. font-size: 80%;
  172. }
  173. blockquote {
  174. color: #000;
  175. margin: 20px 0;
  176. padding: 15px 20px;
  177. background-color: #f2f7f9;
  178. border-top: .1em solid #e5eef2;
  179. border-bottom: .1em solid #e5eef2;
  180. }
  181. blockquote p {
  182. font-size: 17px;
  183. font-weight: 300;
  184. line-height: 1.4;
  185. }
  186. blockquote p:last-child {
  187. margin-bottom: 0;
  188. }
  189. ul ul, ol ul, ul ol, ol ol {
  190. margin-bottom: 0;
  191. }
  192. dl {
  193. margin-bottom: 20px;
  194. }
  195. dd {
  196. margin-left: 0;
  197. }
  198. nav ul {
  199. list-style-type: none;
  200. margin: 0;
  201. padding-left: 0px;
  202. }
  203. /* Only display one level of hierarchy in the TOC */
  204. nav ul ul {
  205. display: none;
  206. }
  207. sub,
  208. sup {
  209. font-size: 75%;
  210. line-height: 0;
  211. position: relative;
  212. }
  213. hr {
  214. margin-top: 20px;
  215. margin-bottom: 20px;
  216. border: 0;
  217. border-top: 1px solid #eeeeee;
  218. }
  219. table {
  220. border-collapse: collapse;
  221. border-spacing: 0;
  222. overflow-x: auto;
  223. display: block;
  224. }
  225. table tr.odd {
  226. background: #eee;
  227. }
  228. table td,
  229. table th {
  230. border: 1px solid #ddd;
  231. padding: 5px;
  232. }
  233. /* Code snippets */
  234. a.test-arrow {
  235. color: #f5f5f5
  236. }
  237. .unstable-feature {
  238. border: 2px solid red;
  239. padding: 5px;
  240. }
  241. @media (min-width: 1170px) {
  242. pre {
  243. font-size: 15px;
  244. }
  245. }
  246. @media print {
  247. * {
  248. text-shadow: none !important;
  249. color: #000 !important;
  250. background: transparent !important;
  251. box-shadow: none !important;
  252. }
  253. a, a:visited {
  254. text-decoration: underline;
  255. }
  256. p a[href]:after {
  257. content: " (" attr(href) ")";
  258. }
  259. footer a[href]:after {
  260. content: "";
  261. }
  262. a[href^="javascript:"]:after, a[href^="#"]:after {
  263. content: "";
  264. }
  265. pre, blockquote {
  266. border: 1px solid #999;
  267. page-break-inside: avoid;
  268. }
  269. @page {
  270. margin: 2cm .5cm;
  271. }
  272. h1:not(.title), h2, h3 {
  273. border-bottom: 0px none;
  274. }
  275. p, h2, h3 {
  276. orphans: 3;
  277. widows: 3;
  278. }
  279. h2, h3 {
  280. page-break-after: avoid;
  281. }
  282. table {
  283. border-collapse: collapse !important;
  284. }
  285. table td, table th {
  286. background-color: #fff !important;
  287. }
  288. }
  289. #keyword-table-marker + table thead { display: none; }
  290. #keyword-table-marker + table td { border: none; }
  291. #keyword-table-marker + table {
  292. margin-left: 2em;
  293. margin-bottom: 1em;
  294. }
  295. .error-described {
  296. position: relative;
  297. }
  298. .tooltip .tooltiptext {
  299. width: 120px;
  300. display: none;
  301. text-align: center;
  302. padding: 5px 3px;
  303. border-radius: 6px;
  304. margin-left: 5px;
  305. top: -5px;
  306. left: 105%;
  307. z-index: 1;
  308. }
  309. .tooltip:hover .tooltiptext {
  310. display: inline;
  311. }
  312. .tooltip .tooltiptext::after {
  313. content: " ";
  314. position: absolute;
  315. top: 50%;
  316. left: 13px;
  317. margin-top: -5px;
  318. border-width: 5px;
  319. border-style: solid;
  320. }