Start with baby steps towards responsive design:

Use a @media width query to select a set of default indentations.
Suggested by John Gardner <gardnerjohng at gmail dot com>.

1 files changed, 15 insertions, 1 deletions

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; }
+}