help.css 3.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171
  1. body {
  2. background-color: #eee;
  3. }
  4. body>div {
  5. position: relative;
  6. background-color: #fff;
  7. font-family: sans-serif;
  8. max-width: 800px;
  9. margin-left: auto;
  10. margin-right: auto;
  11. border-width: 1px;
  12. border-style: solid;
  13. border-radius: 8px;
  14. padding-left: 10px;
  15. padding-right: 10px;
  16. padding-bottom: 20px;
  17. text-align: justify;
  18. -webkit-box-shadow: #888 2px 2px 2px;
  19. }
  20. div>iframe {
  21. margin-top: 30px;
  22. margin-left: auto;
  23. margin-right: auto;
  24. display: block;
  25. margin-left: auto;
  26. }
  27. .option {
  28. font-size: 16px;
  29. font-style: normal;
  30. font-family: sans-serif;
  31. color: graytext;
  32. }
  33. .notice {
  34. font-style: italic;
  35. font-family: serif;
  36. font-size: 1.1em;
  37. }
  38. ol {
  39. -webkit-padding-start: 30px;
  40. margin: 0px;
  41. padding-right: 10px;
  42. }
  43. ol>li {
  44. padding-top: 2em;
  45. }
  46. a[id] {
  47. font-weight: bold;
  48. }
  49. ol>li>ul>li {
  50. padding-top: .5em;
  51. }
  52. #icon {
  53. height: 1em;
  54. }
  55. #titleIcon {
  56. width: 1.2em;
  57. height: 1.2em;
  58. }
  59. .screenshot {
  60. background-image: url(../resources/options_screen.png);
  61. background-repeat: no-repeat;
  62. background-position: center center;
  63. height: 529px;
  64. }
  65. #title {
  66. padding-left: .3em;
  67. vertical-align: top;
  68. }
  69. #titleBorder {
  70. margin-top: 10px;
  71. padding-left: 10px;
  72. padding-bottom: 10px;
  73. margin-bottom: 20px;
  74. }
  75. #index {
  76. padding-left: 10px;
  77. font-size: .7em;
  78. }
  79. h2,h4 {
  80. padding-left: .3em;
  81. margin-bottom: 0px;
  82. }
  83. li {
  84. line-height: 1.5em;
  85. }
  86. #logo-html5 {
  87. position: absolute;
  88. right: 0px;
  89. bottom: 20px;
  90. }
  91. .availability {
  92. font-size: 11pt;
  93. }
  94. code {
  95. font-size: 1.1em;
  96. }
  97. /**
  98. * KEYS.css
  99. *
  100. * A simple stylesheet for rendering beautiful keyboard-style elements.
  101. *
  102. * Author: Michael Hüneburg
  103. * Website: http://michaelhue.com/keyscss
  104. * License: MIT License (see LICENSE.txt)
  105. */
  106. /* Base style, essential for every key. */
  107. kbd, .key {
  108. display: inline;
  109. display: inline-block;
  110. min-width: 1em;
  111. padding: .2em .3em;
  112. font: normal .85em/1 "Lucida Grande", Lucida, Arial, sans-serif;
  113. text-align: center;
  114. text-decoration: none;
  115. -moz-border-radius: .3em;
  116. -webkit-border-radius: .3em;
  117. border-radius: .3em;
  118. border: none;
  119. cursor: default;
  120. -moz-user-select: none;
  121. -webkit-user-select: none;
  122. user-select: none;
  123. }
  124. kbd[title], .key[title] {
  125. cursor: help;
  126. }
  127. /* Dark style for display on light background. This is the default style. */
  128. kbd, kbd.dark, .dark-keys kbd, .key, .key.dark, .dark-keys .key {
  129. background: rgb(80, 80, 80);
  130. background: -moz-linear-gradient(top, rgb(60, 60, 60), rgb(80, 80, 80));
  131. background: -webkit-gradient(linear, left top, left bottom, from(rgb(60, 60, 60)), to(rgb(80, 80, 80)));
  132. color: rgb(250, 250, 250);
  133. text-shadow: -1px -1px 0 rgb(70, 70, 70);
  134. -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);
  135. -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);
  136. 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);
  137. }
  138. /* Light style for display on dark background. */
  139. kbd.light, .light-keys kbd, .key.light, .light-keys .key {
  140. background: rgb(250, 250, 250);
  141. background: -moz-linear-gradient(top, rgb(210, 210, 210), rgb(255, 255, 255));
  142. background: -webkit-gradient(linear, left top, left bottom, from(rgb(210, 210, 210)), to(rgb(255, 255, 255)));
  143. color: rgb(50, 50, 50);
  144. text-shadow: 0 0 2px rgb(255, 255, 255);
  145. -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);
  146. -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);
  147. 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);
  148. }