Aesthetic tweaks

monotype font feels really nice now
pull/206/head
Alex P 2016-09-30 11:26:21 -07:00 committed by Andrew Watkins
parent 3a0a015c2d
commit bc99c9a47a
1 changed files with 3 additions and 3 deletions

View File

@ -623,14 +623,14 @@ table.table.error-table {
table .monotype { table .monotype {
font-family: Consolas, "Lucida Console", Monaco, monospace; font-family: Consolas, "Lucida Console", Monaco, monospace;
letter-spacing: 0.69px; letter-spacing: 0.69px;
font-size: 12px; font-size: 11px;
font-weight: 700; font-weight: 700;
color: $g9-mountain; color: $g9-mountain;
} }
.table-dot { .table-dot {
display: inline-block; display: inline-block;
width: 12px; width: 10px;
height: 12px; height: 10px;
border-radius: 50%; border-radius: 50%;
background-color: $g17-whisper; background-color: $g17-whisper;