]> https://gitweb.dealii.org/ - dealii.git/commit
Fix an issue with CSS on Firefox.
authorDavid Wells <drwells@email.unc.edu>
Mon, 22 Oct 2018 17:39:39 +0000 (13:39 -0400)
committerDavid Wells <drwells@email.unc.edu>
Tue, 23 Oct 2018 02:05:01 +0000 (22:05 -0400)
commitda3a544108c5847100fb6193bb9f95fba0c82f46
treed2b51c0582534b835d5153e84672de0ec562b1fa
parentf584dcdf3796721fb84523f66e99103376debc1a
Fix an issue with CSS on Firefox.

Newer versions of Firefox do not use grid-column-gap or grid-row-gap,
when either value is a percentage instead of a fixed length, when
computing the size of the element. This is not unreasonable; the size of
the container depends on the spacing, which in turn depends on the
spacing, so defining lengths is difficult.

Get around this by just specifying absolute sizes for margins. Since
most of our pictures are 500x500 px this is still about 5% anyway.
doc/doxygen/stylesheet.css

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.