page.css 3.9 KB

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