1
0

docs.css 2.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154
  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: 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. font-size: 2.2em;
  37. padding: .5em 1em;
  38. line-height: 1.2em;
  39. margin-top: .5em;
  40. position: relative;
  41. }
  42. img.logo {
  43. position: absolute;
  44. right: -25px;
  45. bottom: 4px;
  46. }
  47. a:link, a:visited, .quasilink {
  48. color: #df0019;
  49. cursor: pointer;
  50. text-decoration: none;
  51. }
  52. a:hover, .quasilink:hover {
  53. color: #800004;
  54. }
  55. h1 a:link, h1 a:visited, h1 a:hover {
  56. color: black;
  57. }
  58. ul {
  59. margin: 0;
  60. padding-left: 1.2em;
  61. }
  62. a.download {
  63. color: white;
  64. background-color: #df0019;
  65. width: 100%;
  66. display: block;
  67. text-align: center;
  68. font-size: 1.23em;
  69. font-weight: bold;
  70. text-decoration: none;
  71. -moz-border-radius: 6px;
  72. -webkit-border-radius: 6px;
  73. border-radius: 6px;
  74. padding: .5em 0;
  75. margin-bottom: 1em;
  76. }
  77. a.download:hover {
  78. background-color: #bb0010;
  79. }
  80. .rel {
  81. margin-bottom: 0;
  82. }
  83. .rel-note {
  84. color: #777;
  85. font-size: .9em;
  86. margin-top: .1em;
  87. }
  88. .logo-braces {
  89. color: #df0019;
  90. position: relative;
  91. top: -4px;
  92. }
  93. .blk {
  94. float: left;
  95. }
  96. .left {
  97. width: 37em;
  98. padding-right: 6.53em;
  99. padding-bottom: 1em;
  100. }
  101. .left1 {
  102. width: 15.24em;
  103. padding-right: 6.45em;
  104. }
  105. .left2 {
  106. width: 15.24em;
  107. }
  108. .right {
  109. width: 20.68em;
  110. }
  111. .leftbig {
  112. width: 42.44em;
  113. padding-right: 6.53em;
  114. }
  115. .rightsmall {
  116. width: 15.24em;
  117. }
  118. .clear:after {
  119. visibility: hidden;
  120. display: block;
  121. font-size: 0;
  122. content: " ";
  123. clear: both;
  124. height: 0;
  125. }
  126. .clear { display: inline-block; }
  127. /* start commented backslash hack \*/
  128. * html .clear { height: 1%; }
  129. .clear { display: block; }
  130. /* close commented backslash hack */