1234567891011121314151617181920212223242526 |
- .highlight
- margin: 0px
- display: block
- overflow-x: auto
- padding: 15px 20px
- font-size: font-size
- font-family: font-mono
- line-height: font-size * line-height
- table
- margin: 0
- width: auto
- td
- border: none
- td.code
- padding-right: 20px
- .gutter
- pre
- color: #666
- text-align: right
- padding-right: 20px
- .article-entry
- .highlight
- margin: 1.6em 0
- @import "_highlight/" + highlight
|