slightly bigger font for the manual

diff --git a/doc/html/style.css b/doc/html/style.css
index 3981a8a5de72d5a23bda3f3e0d9d60d694d52049..0345ccaf061a7e92b26d5f2c7587b413cd1975c6 100644 (file)
--- a/doc/html/style.css
+++ b/doc/html/style.css
@@ -9,7 +9,8 @@
  * The formatting was taken from mandoc.css @ 1.14.3. Changes:
  * - Liberation Sans was added to the font-family in body.
  * - added to body:
- *   margin: 1em auto; max-width: 40em; padding: 0 .62em; font-size: 1.1em; line-height: 1.62;
+ *   margin: 1em auto; max-width: 40em; padding: 0 .62em; font-size: 1.1em;
+ *   line-height: 1.62;
  * - Removed .Sh and .Ss from h1 (not present in older mandoc)
  * - Removed html styling breaking centering in body. It was:
  *   html {     max-width: 100ex; }
@@ -22,7 +23,7 @@
  * With the exceptions noted below, all code and documentation
  * contained in the mandoc toolkit is protected by the Copyright
  * of the following developers:
- * 
+ *
  * Copyright (c) 2008-2012, 2014 Kristaps Dzonsons <kristaps@bsd.lv>
  * Copyright (c) 2010-2017 Ingo Schwarze <schwarze@openbsd.org>
  * Copyright (c) 2009, 2010, 2011, 2012 Joerg Sonnenberger <joerg@netbsd.org>
@@ -36,18 +37,18 @@
  * Copyright (c) 2004 Ted Unangst <tedu@openbsd.org>
  * Copyright (c) 1994 Christos Zoulas <christos@netbsd.org>
  * Copyright (c) 2003, 2007, 2008, 2014 Jason McIntyre <jmc@openbsd.org>
- * 
+ *
  * See the individual source files for information about who contributed
  * to which file during which years.
- * 
- * 
+ *
+ *
  * The mandoc distribution as a whole is distributed by its developers
  * under the following license:
- * 
+ *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above
  * copyright notice and this permission notice appear in all copies.
- * 
+ *
  * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
  * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
  * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
@@ -58,7 +59,13 @@
  * ----------------------------------------------------------------------------
  * No contributor information was found at the head of mandoc.css.
  */
-body { margin: 1em auto; max-width: 40em; padding: 0 .62em; font-size: 1.1em; line-height: 1.62; font-family: "Liberation Sans", Arial, sans-serif; }
+body { margin: 1em auto;
+       max-width: 40em;
+       padding: 0 .62em;
+       font-size: 1.1em;
+       line-height: 1.62;
+       font-size: 125%;
+       font-family: "Liberation Sans", Arial, sans-serif; }
 table {                margin-top: 0em;
                margin-bottom: 0em; }
 td {           vertical-align: top; }