page.css 4.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289
  1. :root {
  2. color-scheme: light dark;
  3. --color-blue: #049EF4;
  4. --text-color: #444;
  5. --font-size: 16px;
  6. --line-height: 26px;
  7. --border-style: 1px solid #E8E8E8;
  8. --panel-width: 300px;
  9. --page-padding: 24px;
  10. --max-width: 760px;
  11. --icon-size: 20px;
  12. }
  13. @media (prefers-color-scheme: dark) {
  14. :root {
  15. --text-color: #bbb;
  16. --border-style: 1px solid #444;
  17. }
  18. }
  19. @font-face {
  20. font-family: 'Roboto Mono';
  21. src: local('Roboto Mono'), local('RobotoMono-Regular'), url('../files/RobotoMono-Regular.woff2') format('woff2');
  22. font-style: normal;
  23. font-weight: 400;
  24. }
  25. @font-face {
  26. font-family: 'Inter';
  27. font-style: normal;
  28. font-weight: 400;
  29. src: local('Inter-Regular'), url("../files/Inter-Regular.woff2?v=3.6") format("woff2");
  30. }
  31. @font-face {
  32. font-family: 'Inter';
  33. font-style: normal;
  34. font-weight: 600;
  35. src: local('Inter-SemiBold'), url("../files/Inter-SemiBold.woff2?v=3.6") format("woff2");
  36. }
  37. html {
  38. font-family: 'Inter', sans-serif;
  39. font-size: var(--font-size);
  40. line-height: var(--line-height);
  41. }
  42. body {
  43. color: var(--text-color);
  44. tab-size: 4;
  45. overflow: auto;
  46. max-width: var(--max-width);
  47. margin: 0 auto;
  48. padding-top: var(--page-padding);
  49. padding-bottom: var(--page-padding);
  50. padding-right: var(--page-padding);
  51. padding-left: calc(var(--page-padding) + var(--panel-width));
  52. }
  53. a {
  54. color: var(--color-blue);
  55. cursor: pointer;
  56. text-decoration: none;
  57. }
  58. h1 {
  59. font-size: 40px;
  60. line-height: 48px;
  61. font-weight: normal;
  62. margin-left: -2px;
  63. margin-top: 16px;
  64. margin-bottom: -8px;
  65. }
  66. h2 {
  67. font-size: 28px;
  68. line-height: 36px;
  69. font-weight: normal;
  70. margin-left: -1px;
  71. margin-top: 28px;
  72. margin-bottom: -8px;
  73. }
  74. h3 {
  75. font-size: 20px;
  76. line-height: 28px;
  77. font-weight: normal;
  78. margin-top: 24px;
  79. margin-bottom: -8px;
  80. }
  81. p,
  82. div,
  83. table,
  84. ol,
  85. ul {
  86. margin-top: 16px;
  87. margin-bottom: 16px;
  88. }
  89. p {
  90. padding-right: 16px;
  91. }
  92. ul, ol {
  93. box-sizing: border-box;
  94. padding-left: 24px;
  95. }
  96. ul li,
  97. ol li {
  98. padding-left: 4px;
  99. margin-bottom: 4px;
  100. }
  101. li ul,
  102. li ol {
  103. margin-top: 4px;
  104. }
  105. code {
  106. font-size: calc(var(--font-size) - 1px);
  107. line-height: calc(var(--line-height) - 1px);
  108. margin: 16px calc(-1 * var(--page-padding));
  109. }
  110. ol code,
  111. ul code {
  112. margin: 16px 0;
  113. }
  114. code.inline {
  115. display: inline-block;
  116. vertical-align: middle;
  117. border-radius: 4px;
  118. padding: 0px 5px;
  119. background: #F5F5F5;
  120. margin: 0;
  121. }
  122. table {
  123. width: 100%;
  124. border-collapse: collapse;
  125. }
  126. .desc {
  127. padding-left: 0px;
  128. }
  129. table th,
  130. table td {
  131. text-align: left;
  132. vertical-align: top;
  133. padding: 8px 6px;
  134. border-bottom: var(--border-style);
  135. }
  136. table th {
  137. text-decoration: none;
  138. }
  139. table th:first-child,
  140. table td:first-child {
  141. padding-left: 0;
  142. }
  143. code:not(.inline) {
  144. display: block;
  145. padding: calc(var(--page-padding) - 6px) var(--page-padding);
  146. white-space: pre-wrap;
  147. overflow: auto;
  148. box-sizing: border-box;
  149. }
  150. iframe {
  151. width: 100%;
  152. height: 420px;
  153. border:0;
  154. }
  155. table code {
  156. padding: 0px;
  157. margin: 0px;
  158. width: auto;
  159. }
  160. strong {
  161. font-weight: 600;
  162. }
  163. /* TODO: Duplicate styles in main.css. Needed here cause button is inside the iframe */
  164. #button {
  165. position: fixed;
  166. bottom: 16px;
  167. right: 16px;
  168. padding: 12px;
  169. border-radius: 50%;
  170. margin-bottom: 0px;
  171. background-color: #FFF;
  172. opacity: .9;
  173. z-index: 999;
  174. box-shadow: 0 0 4px rgba(0,0,0,.15);
  175. }
  176. #button:hover {
  177. cursor: pointer;
  178. opacity: 1;
  179. }
  180. #button img {
  181. display: block;
  182. width: var(--icon-size);
  183. }
  184. a.permalink {
  185. float: right;
  186. margin-left: 5px;
  187. display: none;
  188. }
  189. a.param,
  190. span.param {
  191. color: #999;
  192. }
  193. a.param:hover {
  194. color: var(--text-color);
  195. }
  196. @media all and ( min-width: 1700px ) {
  197. :root {
  198. --panel-width: 360px;
  199. --font-size: 18px;
  200. --line-height: 28px;
  201. --max-width: 880px;
  202. --page-padding: 28px;
  203. --icon-size: 24px;
  204. }
  205. h1 {
  206. font-size: 42px;
  207. line-height: 50px;
  208. }
  209. h2 {
  210. font-size: 32px;
  211. line-height: 40px;
  212. }
  213. h3 {
  214. font-size: 24px;
  215. line-height: 32px;
  216. }
  217. }
  218. /* mobile */
  219. @media all and ( max-width: 640px ) {
  220. :root {
  221. --page-padding: 16px;
  222. --icon-size: 24px;
  223. }
  224. body {
  225. padding: var(--page-padding);
  226. }
  227. h1 {
  228. font-size: 28px;
  229. line-height: 36px;
  230. padding-right: 20px;
  231. margin-top: 0;
  232. }
  233. h2 {
  234. font-size: 24px;
  235. line-height: 32px;
  236. margin-top: 24px;
  237. }
  238. h3 {
  239. font-size: 20px;
  240. line-height: 28px;
  241. }
  242. }