]> https://gitweb.dealii.org/ - dealii.git/commit
Make font in table smaller
authorGuido Kanschat <dr.guido.kanschat@gmail.com>
Mon, 3 Sep 2012 13:47:49 +0000 (13:47 +0000)
committerGuido Kanschat <dr.guido.kanschat@gmail.com>
Mon, 3 Sep 2012 13:47:49 +0000 (13:47 +0000)
commitb5fa7705a2e9ee3a7517a4487fa76764e299d866
treed340c5e9b187c39ffa3ebc89c85b9ccfbd0501d4
parentdc34f1fad610bbc72df32d7ee88892f1ea23bab4
Make font in table smaller

git-svn-id: https://svn.dealii.org/trunk@26215 0785d39b-7218-0410-832d-ea1e28bc413d
deal.II/doc/screen.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.