style.css 3.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246
  1. /* style for home page and manual. */
  2. @import url(http://fonts.googleapis.com/css?family=Open+Sans:400,600&subset=latin&effect=smoothing);
  3. .unselectable {
  4. -moz-user-select: -moz-none;
  5. -khtml-user-select: none;
  6. -webkit-user-select: none;
  7. -o-user-select: none;
  8. user-select: none;
  9. cursor: default;
  10. }
  11. #notebox {
  12. width:50%;
  13. margin:auto;
  14. text-align:center;
  15. background-color: #ffcccc;
  16. padding: 10px;
  17. margin: 20px;
  18. }
  19. .redacted {
  20. /* background-color: #ffcccc; */
  21. background-color: #cccccc;
  22. }
  23. img {
  24. -moz-box-shadow: 5px 5px 5px #999999;
  25. -webkit-box-shadow: 5px 5px 5px #999999;
  26. box-shadow: 5px 5px 5px #999999;
  27. margin-bottom: 0.5em;
  28. }
  29. img.right {
  30. border: 1px solid black;
  31. margin:auto;
  32. float:right;
  33. margin-left: 5em;
  34. margin-bottom: 3em;
  35. margin-top: 1em;
  36. }
  37. img.tinymargin {
  38. margin: 0.3em;
  39. }
  40. img.icon {
  41. vertical-align:bottom;
  42. -moz-box-shadow: 0px 0px 0px #ffffff;
  43. -webkit-box-shadow: 0px 0px 0px #ffffff;
  44. box-shadow: 0px 0px 0px #ffffff;
  45. margin-bottom: 0;
  46. }
  47. body {
  48. font-family: 'Open Sans', arial, sans-serif;
  49. font-size: 13px;
  50. }
  51. h2 {
  52. margin-top: 2em;
  53. }
  54. h2.nomargin {
  55. margin-top: 0em;
  56. }
  57. h3 {
  58. margin-top: 1.5em;
  59. }
  60. .infolabel {
  61. font-weight: bold;
  62. display: inline-block;
  63. width: 10em;
  64. }
  65. .h1subtitle {
  66. font-size: 15px;
  67. color: gray;
  68. }
  69. div.center {
  70. display: block;
  71. margin-left: auto;
  72. margin-right: auto;
  73. }
  74. #header {
  75. padding: 10px 15px;
  76. margin-bottom: 2em;
  77. padding-left: 3em;
  78. font-size: 120%;
  79. }
  80. #menulogo {
  81. padding-top: 0.5em;
  82. padding-right: 1em;
  83. float: right;
  84. }
  85. #header span a {
  86. text-decoration: none; /* no underline in menu */
  87. }
  88. #header > span, #header > a {
  89. margin-right: 10px;
  90. }
  91. .bigbutton {
  92. font-size: 20px !important;
  93. padding: 10px 15px !important;
  94. }
  95. #header > .logo {
  96. font-size: 1.2em;
  97. margin-top: -10px;
  98. margin-bottom: -10px;
  99. text-shadow: #000 0 0 3px;
  100. }
  101. #main {
  102. width:960px;
  103. padding-left: 2em;
  104. padding-right: 2em;
  105. }
  106. #content {
  107. margin: 15px;
  108. }
  109. #manual-main {
  110. max-width:960px;
  111. padding-left: 2em;
  112. padding-right: 2em;
  113. padding-bottom: 5em;
  114. }
  115. #footer {
  116. font-size: 10px;
  117. color: gray;
  118. border-top: 1px solid lightgray;
  119. margin-top: 5em;
  120. margin-bottom: 5em;
  121. clear: both;
  122. }
  123. .footer-text {
  124. float: left;
  125. }
  126. .footer-logo {
  127. float: right;
  128. }
  129. .footer-logo img {
  130. margin: 0;
  131. -moz-box-shadow: 0px 0px 0px #fff;
  132. -webkit-box-shadow: 0px 0px 0px #fff;
  133. box-shadow: 0px 0px 0px #fff;
  134. }
  135. #titleblock {
  136. height: 100px;
  137. }
  138. #downloadblock {
  139. float: right;
  140. width: 300px;
  141. margin: 1em;
  142. }
  143. .image {
  144. margin-left: 2em;
  145. }
  146. .image .caption {
  147. font-size: 85%;
  148. font-family: sans-serif;
  149. text-align: center;
  150. }
  151. #browsersupport {
  152. display: block;
  153. margin-left: auto;
  154. margin-right: auto;
  155. }
  156. .annotation_wrapper {
  157. margin-left: 2em;
  158. border: 1px solid;
  159. border-color: rgb(136, 136, 136);
  160. background-color: rgb(207, 226, 243);
  161. }
  162. .annotation_wrapper td {
  163. padding: 1em;
  164. }
  165. .annotation_table {
  166. border: none;
  167. }
  168. .annotation_table th {
  169. padding: 0em;
  170. font-family: monospace;
  171. font-size: 13px;
  172. }
  173. .annotation_table td {
  174. padding: 0;
  175. font-family: monospace;
  176. font-size: 13px;
  177. }
  178. td.support-ok {
  179. background-color: lightgreen;
  180. }
  181. td.support-partial {
  182. background-color: #F0F0B0;
  183. }
  184. td.support-no {
  185. background-color: #FF9090;
  186. }
  187. .rounded {
  188. -webkit-border-radius: 10px;
  189. -moz-border-radius: 10px;
  190. border-radius: 10px;
  191. }
  192. .logo {
  193. font-family: 'Astloch', serif;
  194. font-style: normal;
  195. text-decoration: none;
  196. text-transform: none;
  197. letter-spacing: 0em;
  198. word-spacing: 0em;
  199. line-height: 1.2;
  200. font-weight: bold;
  201. }
  202. @font-face {
  203. font-family: 'Astloch';
  204. font-style: normal;
  205. font-weight: bold;
  206. src: local('Astloch Bold'), local('Astloch-Bold'), url('fonts/Astloch-Bold.ttf') format('truetype');
  207. }