help.css 4.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200
  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. #titleIcon {
  60. width: 1.2em;
  61. height: 1.2em;
  62. }
  63. #title {
  64. padding-left: .3em;
  65. vertical-align: top;
  66. }
  67. #titleBorder {
  68. margin-top: 10px;
  69. padding-left: 10px;
  70. padding-bottom: 10px;
  71. margin-bottom: 20px;
  72. }
  73. #index {
  74. padding-left: 10px;
  75. font-size: .9em;
  76. display: inline-block;
  77. line-height: 150%;
  78. }
  79. #index a {
  80. white-space: nowrap;
  81. }
  82. h2, h4 {
  83. margin-bottom: 0px;
  84. }
  85. li {
  86. line-height: 1.5em;
  87. }
  88. #logo-html5 {
  89. position: absolute;
  90. right: 0px;
  91. bottom: 20px;
  92. }
  93. .availability {
  94. font-size: 11pt;
  95. }
  96. code {
  97. font-size: 1.1em;
  98. }
  99. kbd, .key {
  100. display: inline;
  101. display: inline-block;
  102. min-width: 1em;
  103. padding: .2em .3em;
  104. font: normal .85em/1 "Lucida Grande", Lucida, Arial, sans-serif;
  105. text-align: center;
  106. text-decoration: none;
  107. -moz-border-radius: .3em;
  108. -webkit-border-radius: .3em;
  109. border-radius: .3em;
  110. border: none;
  111. cursor: default;
  112. -moz-user-select: none;
  113. -webkit-user-select: none;
  114. user-select: none;
  115. }
  116. kbd[title], .key[title] {
  117. cursor: help;
  118. }
  119. kbd, kbd.dark, .dark-keys kbd, .key, .key.dark, .dark-keys .key {
  120. background: rgb(80, 80, 80);
  121. background: -moz-linear-gradient(top, rgb(60, 60, 60), rgb(80, 80, 80));
  122. background: -webkit-gradient(linear, left top, left bottom, from(rgb(60, 60, 60)), to(rgb(80, 80, 80)));
  123. color: rgb(250, 250, 250);
  124. text-shadow: -1px -1px 0 rgb(70, 70, 70);
  125. -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);
  126. -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);
  127. 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);
  128. }
  129. kbd.light, .light-keys kbd, .key.light, .light-keys .key {
  130. background: rgb(250, 250, 250);
  131. background: -moz-linear-gradient(top, rgb(210, 210, 210), rgb(255, 255, 255));
  132. background: -webkit-gradient(linear, left top, left bottom, from(rgb(210, 210, 210)), to(rgb(255, 255, 255)));
  133. color: rgb(50, 50, 50);
  134. text-shadow: 0 0 2px rgb(255, 255, 255);
  135. -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);
  136. -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);
  137. 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);
  138. }
  139. @media (max-width:800px) {
  140. body {
  141. background-color: white;
  142. margin: 0px;
  143. }
  144. body>div {
  145. border-width: 0px;
  146. }
  147. ol {
  148. padding-left: 20px;
  149. }
  150. ul {
  151. padding-left: 10px;
  152. }
  153. }
  154. @media (prefers-color-scheme: dark) {
  155. body {
  156. background-color: #373737;
  157. }
  158. @media (max-width:800px) {
  159. body {
  160. background-color: #202023;
  161. }
  162. }
  163. body>div {
  164. background-color: #202023;
  165. border-color: rgb(81, 81, 81);
  166. }
  167. body>div, a {
  168. color: #fdfdfd;
  169. }
  170. .option {
  171. color: #afafaf;
  172. }
  173. }