help.css 4.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211
  1. body {
  2. background-color: #eee;
  3. font-size: 12pt;
  4. }
  5. body>div {
  6. position: relative;
  7. background-color: #fff;
  8. font-family: sans-serif;
  9. max-width: 1024px;
  10. margin-left: auto;
  11. margin-right: auto;
  12. border: 1px #bfbfbf solid;
  13. border-radius: 4px;
  14. padding-left: 10px;
  15. padding-right: 10px;
  16. padding-bottom: 20px;
  17. }
  18. div>iframe {
  19. margin-top: 30px;
  20. margin-left: auto;
  21. margin-right: auto;
  22. display: block;
  23. margin-left: auto;
  24. }
  25. .option {
  26. font-size: 1.1em;
  27. font-style: normal;
  28. font-family: sans-serif;
  29. color: graytext;
  30. }
  31. .notice {
  32. font-style: italic;
  33. font-family: serif;
  34. font-size: 1.1em;
  35. }
  36. ol {
  37. -webkit-padding-start: 30px;
  38. margin: 0px;
  39. padding-right: 10px;
  40. }
  41. ol>li {
  42. padding-top: 2em;
  43. }
  44. a[id] {
  45. font-weight: bold;
  46. }
  47. ol>li>ul {
  48. padding-left: 25px;
  49. }
  50. ol>li>ul>li {
  51. padding-top: .5em;
  52. }
  53. ol>li>ul>li>ul {
  54. padding-left: 25px;
  55. }
  56. .icon {
  57. height: 1em;
  58. }
  59. .button {
  60. height: .9em;
  61. background-color: #8e8e8e;
  62. padding: 3px;
  63. border-radius: 4px;
  64. }
  65. #titleIcon {
  66. width: 1.2em;
  67. height: 1.2em;
  68. }
  69. #title {
  70. padding-left: .3em;
  71. vertical-align: top;
  72. }
  73. #titleBorder {
  74. margin-top: 10px;
  75. padding-left: 10px;
  76. padding-bottom: 10px;
  77. margin-bottom: 20px;
  78. }
  79. #index {
  80. padding-left: 10px;
  81. font-size: .9em;
  82. display: inline-block;
  83. line-height: 150%;
  84. }
  85. #index a {
  86. white-space: nowrap;
  87. }
  88. h2, h4 {
  89. margin-bottom: 0px;
  90. }
  91. li {
  92. line-height: 1.5em;
  93. }
  94. #logo-html5 {
  95. position: absolute;
  96. right: 0px;
  97. bottom: 20px;
  98. }
  99. .availability {
  100. font-size: 11pt;
  101. }
  102. code {
  103. font-size: 1.1em;
  104. }
  105. kbd, .key {
  106. display: inline;
  107. display: inline-block;
  108. min-width: 1em;
  109. padding: .2em .3em;
  110. font: normal .85em/1 "Lucida Grande", Lucida, Arial, sans-serif;
  111. text-align: center;
  112. text-decoration: none;
  113. -moz-border-radius: .3em;
  114. -webkit-border-radius: .3em;
  115. border-radius: .3em;
  116. border: none;
  117. cursor: default;
  118. -moz-user-select: none;
  119. -webkit-user-select: none;
  120. user-select: none;
  121. }
  122. kbd[title], .key[title] {
  123. cursor: help;
  124. }
  125. kbd, kbd.dark, .dark-keys kbd, .key, .key.dark, .dark-keys .key {
  126. background: rgb(80, 80, 80);
  127. background: -moz-linear-gradient(top, rgb(60, 60, 60), rgb(80, 80, 80));
  128. background: -webkit-gradient(linear, left top, left bottom, from(rgb(60, 60, 60)), to(rgb(80, 80, 80)));
  129. color: rgb(250, 250, 250);
  130. text-shadow: -1px -1px 0 rgb(70, 70, 70);
  131. -moz-box-shadow: inset 0 0 1px rgb(150, 150, 150), inset 0 -.05em .4em rgb(80, 80, 80), 0 .1em 0 rgb(30, 30, 30), 0 .1em .1em rgba(0, 0, 0, .3);
  132. -webkit-box-shadow: inset 0 0 1px rgb(150, 150, 150), inset 0 -.05em .4em rgb(80, 80, 80), 0 .1em 0 rgb(30, 30, 30), 0 .1em .1em rgba(0, 0, 0, .3);
  133. box-shadow: inset 0 0 1px rgb(150, 150, 150), inset 0 -.05em .4em rgb(80, 80, 80), 0 .1em 0 rgb(30, 30, 30), 0 .1em .1em rgba(0, 0, 0, .3);
  134. }
  135. kbd.light, .light-keys kbd, .key.light, .light-keys .key {
  136. background: rgb(250, 250, 250);
  137. background: -moz-linear-gradient(top, rgb(210, 210, 210), rgb(255, 255, 255));
  138. background: -webkit-gradient(linear, left top, left bottom, from(rgb(210, 210, 210)), to(rgb(255, 255, 255)));
  139. color: rgb(50, 50, 50);
  140. text-shadow: 0 0 2px rgb(255, 255, 255);
  141. -moz-box-shadow: inset 0 0 1px rgb(255, 255, 255), inset 0 0 .4em rgb(200, 200, 200), 0 .1em 0 rgb(130, 130, 130), 0 .11em 0 rgba(0, 0, 0, .4), 0 .1em .11em rgba(0, 0, 0, .9);
  142. -webkit-box-shadow: inset 0 0 1px rgb(255, 255, 255), inset 0 0 .4em rgb(200, 200, 200), 0 .1em 0 rgb(130, 130, 130), 0 .11em 0 rgba(0, 0, 0, .4), 0 .1em .11em rgba(0, 0, 0, .9);
  143. box-shadow: inset 0 0 1px rgb(255, 255, 255), inset 0 0 .4em rgb(200, 200, 200), 0 .1em 0 rgb(130, 130, 130), 0 .11em 0 rgba(0, 0, 0, .4), 0 .1em .11em rgba(0, 0, 0, .9);
  144. }
  145. @media (max-width:800px) {
  146. body {
  147. background-color: white;
  148. margin: 0px;
  149. }
  150. body>div {
  151. border-width: 0px;
  152. }
  153. ol {
  154. padding-left: 20px;
  155. }
  156. ul {
  157. padding-left: 10px;
  158. }
  159. }
  160. @media (prefers-color-scheme: dark) {
  161. body {
  162. background-color: #373737;
  163. }
  164. @media (max-width:800px) {
  165. body {
  166. background-color: #202023;
  167. }
  168. }
  169. body>div {
  170. background-color: #202023;
  171. border-color: rgb(81, 81, 81);
  172. }
  173. body>div, a {
  174. color: #fdfdfd;
  175. }
  176. .option {
  177. color: #afafaf;
  178. }
  179. .button {
  180. height: .9em;
  181. background-color: #484848;
  182. }
  183. }