From 1b56b86eafacc94247c0371189d598d688944f7f Mon Sep 17 00:00:00 2001 From: kanschat Date: Mon, 3 Sep 2012 13:47:49 +0000 Subject: [PATCH] Make font in table smaller git-svn-id: https://svn.dealii.org/trunk@26215 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/doc/screen.css | 1 + 1 file changed, 1 insertion(+) diff --git a/deal.II/doc/screen.css b/deal.II/doc/screen.css index edeebac807..83ed8ce46b 100644 --- a/deal.II/doc/screen.css +++ b/deal.II/doc/screen.css @@ -205,6 +205,7 @@ code.global { color: #005030; } td.build { text-align: center; vertical-align: middle; + font-size: small; } -- 2.39.5