From 96b7fe9c5c331e1ad577c807377b6607e9571bbe Mon Sep 17 00:00:00 2001 From: Loup Vaillant Date: Fri, 26 Jan 2018 15:08:52 +0100 Subject: [PATCH] slightly bigger font for the manual --- doc/html/style.css | 23 +++++++++++++++-------- 1 file changed, 15 insertions(+), 8 deletions(-) diff --git a/doc/html/style.css b/doc/html/style.css index 3981a8a..0345cca 100644 --- 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 * Copyright (c) 2010-2017 Ingo Schwarze * Copyright (c) 2009, 2010, 2011, 2012 Joerg Sonnenberger @@ -36,18 +37,18 @@ * Copyright (c) 2004 Ted Unangst * Copyright (c) 1994 Christos Zoulas * Copyright (c) 2003, 2007, 2008, 2014 Jason McIntyre - * + * * 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; } -- 2.47.3