13px -> 11px

See atom/atom-dark-ui#23 for the dark version