Fix header-title alignment calculation, remove redundant style
Description
Description
Details
Details
- Provenance
machniak Authored on Oct 7 2017, 6:15 PM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:f6c7f6b7f551: Make some font-size bigger on touch devices
- Branches
- Unknown
- Tags