diff options
author | Willem Ferguson <willemferguson@zoology.up.ac.za> | 2021-02-24 09:54:23 -0800 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2021-02-24 09:54:43 -0800 |
commit | cd8eb274e34415ba749cfb68bad27944d6486b7b (patch) | |
tree | 9b6de84b274ee2a140ec3a2c539edd69e1fb39c2 /Documentation/user-manual_nl.html.git | |
parent | 68c56751c41fbd4ed97b46dab637addfbe488215 (diff) | |
download | subsurface-cd8eb274e34415ba749cfb68bad27944d6486b7b.tar.gz |
mobile/manual: tuning of header sizes
This makes all the font sizes relative and avoids odd effects on some browsers.
Signed-off-by: Willem Ferguson <willemferguson@zoology.up.ac.za>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'Documentation/user-manual_nl.html.git')
0 files changed, 0 insertions, 0 deletions