page.css 2.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176
  1. @font-face {
  2. font-family: 'RobotoMono';
  3. src: local('RobotoMono'), url('../files/RobotoMono-Regular.woff2') format('woff2');
  4. font-weight: normal;
  5. font-style: normal;
  6. }
  7. @font-face {
  8. font-family: 'SF-Pro-Text';
  9. src: local('SF-Pro-Text'), url('../files/SF-Pro-Text-Regular.otf');
  10. font-weight: normal;
  11. font-style: normal;
  12. }
  13. body {
  14. margin: 78px auto;
  15. padding: 0px 24px;
  16. max-width: 780px;
  17. color: #555;
  18. font-family: 'SF-Pro-Text', sans-serif;
  19. font-size: 16px;
  20. line-height: 23px;
  21. tab-size: 4;
  22. overflow: auto;
  23. }
  24. a {
  25. color: #1184CE;
  26. cursor: pointer;
  27. text-decoration: underline;
  28. }
  29. h1 {
  30. color: #049EF4;
  31. font-size: 32px;
  32. font-weight: normal;
  33. line-height: 42px;
  34. }
  35. h2 {
  36. color: #4B0;
  37. font-size: 22px;
  38. font-weight: normal;
  39. line-height: 31px;
  40. }
  41. h3 {
  42. color: #000;
  43. font-size: 16px;
  44. font-weight: normal;
  45. margin-top: 40px;
  46. }
  47. p, ul, ol {
  48. margin-top: 0;
  49. margin-bottom: 20px;
  50. max-width: 780px;
  51. }
  52. div {
  53. /* padding-left: 30px; */
  54. margin-bottom: 20px;
  55. }
  56. .desc {
  57. padding-left: 0px;
  58. }
  59. pre, code {
  60. margin-top: 20px;
  61. margin-bottom: 20px;
  62. }
  63. code {
  64. display: block;
  65. padding: 20px;
  66. white-space: pre-wrap;
  67. background-color: #f9f9f9;
  68. overflow: auto;
  69. }
  70. iframe {
  71. width: 100%;
  72. height: 420px;
  73. border:0;
  74. }
  75. th {
  76. padding: 10px;
  77. text-decoration: underline;
  78. }
  79. td {
  80. text-align: center;
  81. }
  82. table code {
  83. padding: 2px;
  84. margin: 0px;
  85. width: auto;
  86. }
  87. strong {
  88. color: #000;
  89. font-weight: normal;
  90. }
  91. #button {
  92. position: fixed;
  93. bottom: 16px;
  94. right: 16px;
  95. padding: 8px;
  96. border-radius: 50%;
  97. margin-bottom: 0px; /* TODO div sets it to 20px */
  98. background-color: #dddddd;
  99. opacity: 0.4;
  100. }
  101. #button:hover {
  102. cursor: pointer;
  103. opacity: 1;
  104. }
  105. #button img {
  106. display: block;
  107. }
  108. a.permalink {
  109. float: right;
  110. margin-left: 5px;
  111. }
  112. a.param,
  113. span.param {
  114. color: #999;
  115. }
  116. a.param:hover {
  117. color: #777;
  118. }
  119. sup, sub {
  120. /* prevent superscript and subscript elements from affecting line-height */
  121. vertical-align: baseline;
  122. position: relative;
  123. top: -0.4em;
  124. }
  125. sub {
  126. top: 0.4em;
  127. }
  128. /* mobile */
  129. @media all and ( max-width: 640px ) {
  130. body {
  131. margin: 14px auto;
  132. padding: 0px 14px;
  133. font-size: 14px;
  134. line-height: 22px;
  135. }
  136. h1 {
  137. font-size: 26px;
  138. }
  139. h2 {
  140. font-size: 18px;
  141. line-height: 25px;
  142. }
  143. }