reset.styl 5.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195
  1. *
  2. margin 0
  3. padding 0
  4. font-family "Helvetica Neue", Helvetica, Arial, sans-serif
  5. -moz-box-sizing border-box
  6. -webkit-box-sizing border-box
  7. box-sizing border-box
  8. a, a:hover, a:visited
  9. background transparent
  10. color #337ab7
  11. text-decoration none
  12. blockquote
  13. background-color #f8f8f8
  14. border-left 5px solid #e9e9e9
  15. font-size .85em
  16. margin 1em 0
  17. padding .5em 1em
  18. blockquote cite
  19. color #999
  20. display block
  21. font-size .8em
  22. margin-top 1em
  23. blockquote cite:before
  24. content "\2014 \2009"
  25. h3
  26. font-size 1.5em
  27. font-weight normal
  28. margin 1em 0 .5em 0
  29. p
  30. margin 0 0 10px 0
  31. .bg-green
  32. background-color #d9ffca
  33. border-radius 4px
  34. padding .5em 1em
  35. .bg-red
  36. background-color #f2dede
  37. border-radius 4px
  38. padding .5em 1em
  39. .bg-blue
  40. background-color #337ab7
  41. border-radius 4px
  42. padding .5em 1em
  43. .bg-light-blue
  44. background-color #d9edf7
  45. border-radius 4px
  46. padding .5em 1em
  47. /* Some styles for buttons */
  48. .button
  49. border 0px
  50. border-radius 4px
  51. cursor pointer
  52. display inline-block
  53. padding .2em 1em
  54. text-align center
  55. .button_ok /* Green */
  56. .button_ok:hover,
  57. .button_ok:visited
  58. background-color #4caf50
  59. color #fff
  60. .button_info /* Blue */
  61. .button_info:hover,
  62. .button_info:visited
  63. background-color #008cba
  64. color #fff
  65. .button_alert /* Red */
  66. .button_alert:hover,
  67. .button_alert:visited
  68. background-color #f44336
  69. color #fff
  70. .button_default /* Gray */
  71. .button_default:hover,
  72. .button_default:visited
  73. background-color #e7e7e7
  74. color #000
  75. .button_default1, /* Black */
  76. .button_default1:hover,
  77. .button_default1:visited
  78. background-color #555
  79. color #fff
  80. img
  81. /* Prevent images from taking up too much space in comments */
  82. max-width 100%
  83. label
  84. cursor pointer
  85. font-weight normal
  86. /* Add light blue shadow to form controls */
  87. .form-control:focus
  88. border-color #66afe9
  89. outline 0
  90. -webkit-box-shadow inset 0 1px 1px rgba(0,0,0,.075),0 0 8px rgba(102,175,233,.6)
  91. box-shadow inset 0 1px 1px rgba(0,0,0,.075),0 0 8px rgba(102,175,233,.6)
  92. .form-control
  93. display block
  94. width 100%
  95. padding .5em 1em
  96. line-height 1.42857143
  97. color #555
  98. border 1px solid #ccc
  99. border-radius 4px
  100. -webkit-box-shadow inset 0 1px 1px rgba(0,0,0,.075)
  101. box-shadow inset 0 1px 1px rgba(0,0,0,.075)
  102. -webkit-transition border-color ease-in-out .15s,-webkit-box-shadow ease-in-out .15s
  103. -o-transition border-color ease-in-out .15s,box-shadow ease-in-out .15s
  104. transition border-color ease-in-out .15s,box-shadow ease-in-out .15s
  105. /* When users vote, this <iframe/> is used as target, such that
  106. * the page is not reloaded
  107. */
  108. .vote_sink
  109. height 1px;
  110. left -10px
  111. position fixed
  112. top -10px
  113. width 1px
  114. html, body
  115. background-color #fff
  116. font-size 1em
  117. height 100%
  118. line-height 1em
  119. margin 0
  120. padding 0
  121. width 100%
  122. pre
  123. background-color #f9f9f9
  124. font-family "Courier 10 Pitch", Courier, monospace
  125. font-size 95%
  126. line-height 140%
  127. white-space pre
  128. white-space pre-wrap
  129. white-space -moz-pre-wrap
  130. white-space -o-pre-wrap
  131. code
  132. font-family Monaco, Consolas, "Andale Mono", "DejaVu Sans Mono", monospace
  133. font-size 95%
  134. line-height 140%
  135. white-space pre
  136. white-space pre-wrap
  137. white-space -moz-pre-wrap
  138. white-space -o-pre-wrap
  139. /* Monospace <pre/> to write some nice ASCII art in frontpage */
  140. pre.new_year
  141. background-color transparent
  142. color #BF0000
  143. font-family "Courier 10 Pitch", Courier, monospace
  144. font-size .8em
  145. font-webkit bold
  146. margin 0 0 2em 0
  147. text-align center
  148. white-space pre
  149. white-space pre-wrap
  150. white-space -moz-pre-wrap
  151. white-space -o-pre-wrap
  152. /* Inline code */
  153. p > code
  154. background-color #f5f5f5
  155. border-radius 3px
  156. display inline-block
  157. font-family Monaco, Consolas, "Andale Mono", "DejaVu Sans Mono", monospace
  158. font-size 85%
  159. line-height 140%
  160. margin 0 .2em
  161. padding .2em
  162. white-space pre
  163. white-space pre-wrap
  164. white-space -moz-pre-wrap
  165. white-space -o-pre-wrap
  166. ul, ol
  167. margin 1.2em 2em