You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
|
=terminal-font
|
|
|
|
// font metrics
|
|
|
|
|
|
|
|
font-family: 'Bitstream Vera Sans Mono', 'Courier New', monospace
|
|
|
|
font-size: 12px
|
|
|
|
|
|
|
|
// line metrics
|
|
|
|
|
|
|
|
line-height: 16px
|
|
|
|
|
|
|
|
.line
|
|
|
|
span
|
|
|
|
padding: 0
|
|
|
|
display: inline-block
|
|
|
|
height: 16px
|