diff options
-rw-r--r-- | doc/eigendoxy.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/eigendoxy.css b/doc/eigendoxy.css index 77d062837..c1973289b 100644 --- a/doc/eigendoxy.css +++ b/doc/eigendoxy.css @@ -477,3 +477,8 @@ DIV.eimainmenu { /* border-top: solid; */ /* border-bottom: solid; */ } + +/* center version number on main page */ +H3.version { + text-align: center; +} |