]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Make font in table smaller
authorkanschat <kanschat@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 3 Sep 2012 13:47:49 +0000 (13:47 +0000)
committerkanschat <kanschat@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 3 Sep 2012 13:47:49 +0000 (13:47 +0000)
git-svn-id: https://svn.dealii.org/trunk@26215 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/screen.css

index edeebac807718b18f4c4f8813c55701135cee379..83ed8ce46b63a85b3bd86b562131f3f25c974370 100644 (file)
@@ -205,6 +205,7 @@ code.global { color: #005030; }
 td.build {
        text-align: center;
        vertical-align: middle;
+       font-size: small;
 }
 
 

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.