2
0

docs.css 2.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167
  1. body {
  2. font-family: Droid Sans, Arial, sans-serif;
  3. line-height: 1.5;
  4. max-width: 64.3em;
  5. margin: 3em auto;
  6. padding: 0 1em;
  7. }
  8. h1 {
  9. letter-spacing: -3px;
  10. font-size: 3.23em;
  11. font-weight: bold;
  12. margin: 0;
  13. }
  14. h2 {
  15. font-size: 1.23em;
  16. font-weight: bold;
  17. margin: .5em 0;
  18. letter-spacing: -1px;
  19. }
  20. h3 {
  21. font-size: 1.1em;
  22. font-weight: bold;
  23. margin: .4em 0;
  24. }
  25. pre {
  26. background-color: #eee;
  27. -moz-border-radius: 6px;
  28. -webkit-border-radius: 6px;
  29. border-radius: 6px;
  30. padding: 1em;
  31. }
  32. pre.code {
  33. margin: 0 1em;
  34. }
  35. .grey {
  36. background-color: #eee;
  37. border-radius: 6px;
  38. margin-bottom: 1.65em;
  39. margin-top: 0.825em;
  40. padding: 0.825em 1.65em;
  41. position: relative;
  42. }
  43. img.logo {
  44. position: absolute;
  45. right: -1em;
  46. bottom: 4px;
  47. max-width: 23.6875em; /* Scale image down with text to prevent clipping */
  48. }
  49. .grey > pre {
  50. background:none;
  51. border-radius:0;
  52. padding:0;
  53. margin:0;
  54. font-size:2.2em;
  55. line-height:1.2em;
  56. }
  57. a:link, a:visited, .quasilink {
  58. color: #df0019;
  59. cursor: pointer;
  60. text-decoration: none;
  61. }
  62. a:hover, .quasilink:hover {
  63. color: #800004;
  64. }
  65. h1 a:link, h1 a:visited, h1 a:hover {
  66. color: black;
  67. }
  68. ul {
  69. margin: 0;
  70. padding-left: 1.2em;
  71. }
  72. a.download {
  73. color: white;
  74. background-color: #df0019;
  75. width: 100%;
  76. display: block;
  77. text-align: center;
  78. font-size: 1.23em;
  79. font-weight: bold;
  80. text-decoration: none;
  81. -moz-border-radius: 6px;
  82. -webkit-border-radius: 6px;
  83. border-radius: 6px;
  84. padding: .5em 0;
  85. margin-bottom: 1em;
  86. }
  87. a.download:hover {
  88. background-color: #bb0010;
  89. }
  90. .rel {
  91. margin-bottom: 0;
  92. }
  93. .rel-note {
  94. color: #777;
  95. font-size: .9em;
  96. margin-top: .1em;
  97. }
  98. .logo-braces {
  99. color: #df0019;
  100. position: relative;
  101. top: -4px;
  102. }
  103. .blk {
  104. float: left;
  105. }
  106. .left {
  107. margin-right: 20.68em;
  108. max-width: 37em;
  109. padding-right: 6.53em;
  110. padding-bottom: 1em;
  111. }
  112. .left1 {
  113. width: 15.24em;
  114. padding-right: 6.45em;
  115. }
  116. .left2 {
  117. max-width: 15.24em;
  118. }
  119. .right {
  120. width: 20.68em;
  121. margin-left: -20.68em;
  122. }
  123. .leftbig {
  124. width: 42.44em;
  125. padding-right: 6.53em;
  126. }
  127. .rightsmall {
  128. width: 15.24em;
  129. }
  130. .clear:after {
  131. visibility: hidden;
  132. display: block;
  133. font-size: 0;
  134. content: " ";
  135. clear: both;
  136. height: 0;
  137. }
  138. .clear { display: inline-block; }
  139. /* start commented backslash hack \*/
  140. * html .clear { height: 1%; }
  141. .clear { display: block; }
  142. /* close commented backslash hack */