mirror of
https://github.com/dergigi/boris.git
synced 2026-01-19 06:44:23 +01:00
- Add left margin of 1.75rem to progress bar to start where text begins - Prevents progress bar from looking like a separator - Creates visual association between progress indicator and the specific bookmark item