- stroke: #f00
- .button
- display: inline-block
- border-radius: 4px
- background: white
- box-shadow: 1px 1px 4px rgba(0,0,0,0.5)
- padding: 1px 2px
- cursor: pointer
- &:hover
- background-color: #f9f9f9
- margin: 0 4px
- * + &
- margin-left: 8px
- .button.disabled
- color: #777
- background-color: #f3f3f3
- cursor: default
- .toolbar, .tool_options
- padding-bottom: 5px