Wider main body. Use em to adapt to larger fonts.

diff --git a/web/doxygen.css b/web/doxygen.css
index aa78a32b7cc5a93195c78f84ca87f87a7013a83a..69db202f8959bfec54359d023844be1d49cdb969 100644 (file)
--- a/web/doxygen.css
+++ b/web/doxygen.css
@@ -217,7 +217,7 @@ a:hover
 
 #main
 {
-       width: 540px;
+       width: 70em;
        margin-left: 200px;
        padding: 20px;
 }