diff options
| author | Erik Faye-Lund <[email protected]> | 2019-04-17 14:52:41 +0200 |
|---|---|---|
| committer | Erik Faye-Lund <[email protected]> | 2019-05-02 08:45:57 +0000 |
| commit | 8194d3887eae3f928329d614b650acb84e06f605 (patch) | |
| tree | 25e4f2520ee18af6db9f6598110f89a8564f0260 /build-support | |
| parent | 5ffe4879b6aec4908a1e8381064325a7d962fbb3 (diff) | |
docs: do not hard-code header-height
It's generally nicer to do this in terms of em units, as that scales
better with text-sizes, if we ever decide to change them.
The result is slightly larger than before, but only by a couple of
pixels.
Signed-off-by: Erik Faye-Lund <[email protected]>
Reviewed-by: Eric Engestrom <[email protected]>
Diffstat (limited to 'build-support')
0 files changed, 0 insertions, 0 deletions