]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 097bf59) | patch
Fix an issue with CSS on Firefox. 7418/head
authorDavid Wells <drwells@email.unc.edu>
Mon, 22 Oct 2018 17:39:39 +0000 (13:39 -0400)
committerDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Mon, 5 Nov 2018 16:57:31 +0000 (17:57 +0100)
commitaa4e544f3a1e3075ee09d913efb992c35fe647e2
tree4ab018eef5ac01c44bb5a9d4ecc51028c9ebefc6tree | snapshot
parent097bf59e49244f2907242a4f2979a30c94ebb277commit | diff
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 diff | blob | history
Mirror of the development repository for deal.II

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.