Closed solkaz closed 7 years ago
Increases the size of the annotation marker. To accommodate this, the gutter width and the padding-top of the line numbers was also increased
Fixes #550
Chrome: FF: Safari:
Description
Increases the size of the annotation marker. To accommodate this, the gutter width and the padding-top of the line numbers was also increased
Motivation and Context
Fixes #550
Checklist:
Browsers
Screenshots (if appropriate):
Chrome: FF: Safari: