*
margin 0
padding 0
font-family "Helvetica Neue", Helvetica, Arial, sans-serif
-moz-box-sizing border-box
-webkit-box-sizing border-box
box-sizing border-box
a, a:hover, a:visited
background transparent
color #337ab7
text-decoration none
blockquote
background-color #f8f8f8
border-left 5px solid #e9e9e9
font-size .85em
margin 1em 0
padding .5em 1em
blockquote cite
color #999
display block
font-size .8em
margin-top 1em
blockquote cite:before
content "\2014 \2009"
h3
font-size 1.5em
font-weight normal
margin 1em 0 .5em 0
p
margin 0 0 10px 0
.bg-green
background-color #d9ffca
border-radius 4px
padding .5em 1em
.bg-red
background-color #f2dede
border-radius 4px
padding .5em 1em
.bg-blue
background-color #337ab7
border-radius 4px
padding .5em 1em
.bg-light-blue
background-color #d9edf7
border-radius 4px
padding .5em 1em
/* Some styles for buttons */
.button
border 0px
border-radius 4px
cursor pointer
display inline-block
padding .2em 1em
text-align center
@media only screen and (max-width: 800px)
.button
font-size 1.2rem
padding .5em 1em
width 100%
.button_ok /* Green */
.button_ok:hover,
.button_ok:visited
background-color #4caf50
color #fff
.button_info /* Blue */
.button_info:hover,
.button_info:visited
background-color #008cba
color #fff
.button_alert /* Red */
.button_alert:hover,
.button_alert:visited
background-color #f44336
color #fff
.button_default /* Gray */
.button_default:hover,
.button_default:visited
background-color #e7e7e7
color #000
.button_default1, /* Black */
.button_default1:hover,
.button_default1:visited
background-color #555
color #fff
img
/* Prevent images from taking up too much space in comments */
max-width 100%
label
cursor pointer
font-weight normal
/* Add light blue shadow to form controls */
.form-control:focus
border-color #66afe9
outline 0
-webkit-box-shadow inset 0 1px 1px rgba(0,0,0,.075),0 0 8px rgba(102,175,233,.6)
box-shadow inset 0 1px 1px rgba(0,0,0,.075),0 0 8px rgba(102,175,233,.6)
.form-control
display block
width 100%
padding .5em 1em
line-height 1.42857143
color #555
border 1px solid #ccc
border-radius 4px
-webkit-box-shadow inset 0 1px 1px rgba(0,0,0,.075)
box-shadow inset 0 1px 1px rgba(0,0,0,.075)
-webkit-transition border-color ease-in-out .15s,-webkit-box-shadow ease-in-out .15s
-o-transition border-color ease-in-out .15s,box-shadow ease-in-out .15s
transition border-color ease-in-out .15s,box-shadow ease-in-out .15s
textarea.form-control
height 8rem
.pagination
> form
display inline-block
> .page_number
font-size .7rem
font-weight bold
margin 0 1rem
/* When users vote, this <iframe/> is used as target, such that
* the page is not reloaded
*/
.vote_sink
height 1px;
left -10px
position fixed
top -10px
width 1px
html, body
background-color #fff
font-size 1em
height 100%
line-height 1em
margin 0
padding 0
width 100%
pre
background-color #f9f9f9
font-family "Courier 10 Pitch", Courier, monospace
font-size 95%
line-height 140%
white-space pre
white-space pre-wrap
white-space -moz-pre-wrap
white-space -o-pre-wrap
code
font-family Monaco, Consolas, "Andale Mono", "DejaVu Sans Mono", monospace
font-size 95%
line-height 140%
white-space pre
white-space pre-wrap
white-space -moz-pre-wrap
white-space -o-pre-wrap
/* Monospace <pre/> to write some nice ASCII art in frontpage */
pre.new_year
background-color transparent
color #BF0000
font-family monospace
font-size .8rem
font-webkit bold
margin 0 0 2em 0
text-align center
white-space pre
white-space pre-wrap
white-space -moz-pre-wrap
white-space -o-pre-wrap
/* Inline code */
:not(pre)
> code
background-color #f5f5f5
border-radius 3px
display inline-block
font-family Monaco, Consolas, "Andale Mono", "DejaVu Sans Mono", monospace
font-size 85%
line-height 140%
margin 0 .2em
padding .2em
white-space pre
white-space pre-wrap
white-space -moz-pre-wrap
white-space -o-pre-wrap
/* A <div> that respects \n without converting to <br> */
div.pre
white-space pre
select
-webkit-appearance none
-moz-appearance none
appearance none
background transparent
border 0
cursor pointer
ul, ol
margin 1.2em 2em
/* Burger menu icon
*
* How to use:
* <div class="burger-icon">
* <div class="line1"></div>
* <div class="line2"></div>
* <div class="line3"></div>
* </div>
*/
.burger-icon
display inline-block
cursor pointer
position relative
> .line1, .line2, .line3
background-color #000
height 4px
margin 4px 0
transition .5s
width 36px
&.open
> .line1
transform rotate(-45deg) translate(-0px, 11px);
> .line2
opacity 0
> .line3
transform rotate(45deg) translate(-0px, -11px)
&.notify
> .line1, .line2, .line3
background-color #f00