From c5674755e00edf6c1065f3a925690b630f6e64ff Mon Sep 17 00:00:00 2001 From: Ingo Schwarze Date: Sat, 26 May 2018 20:04:41 +0000 Subject: Start with baby steps towards responsive design: Use a @media width query to select a set of default indentations. Suggested by John Gardner . --- mandoc.css | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) diff --git a/mandoc.css b/mandoc.css index b5e32a8c..d0337b24 100644 --- a/mandoc.css +++ b/mandoc.css @@ -1,4 +1,4 @@ -/* $Id: mandoc.css,v 1.30 2018/05/26 17:38:01 schwarze Exp $ */ +/* $Id: mandoc.css,v 1.31 2018/05/26 20:04:41 schwarze Exp $ */ /* * Standard style sheet for mandoc(1) -Thtml and man.cgi(8). */ @@ -229,3 +229,17 @@ a.Ux { } .Li { font-style: normal; font-weight: normal; font-family: monospace; } + +/* Overrides to avoid excessive margins on small devices. */ + +@media (max-width: 37.5em) { +div.manual-text { + margin-left: 0.5em; } +h1.Sh, h2.Ss { margin-left: 0em; } +div.D1 { margin-left: 2em; } +dl.Bl-hang > dd { + margin-left: 2em; } +dl.Bl-tag { margin-left: 2em; } +dl.Bl-tag > dt { + margin-left: -2em; } +} -- cgit v1.2.3-56-ge451