* mandoc: Start with baby steps towards responsive design: Use a @media
@ 2018-05-26 20:05 schwarze
0 siblings, 0 replies; only message in thread
From: schwarze @ 2018-05-26 20:05 UTC (permalink / raw)
To: source
Log Message:
-----------
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>.
Modified Files:
--------------
mandoc:
mandoc.css
Revision Data
-------------
Index: mandoc.css
===================================================================
RCS file: /home/cvs/mandoc/mandoc/mandoc.css,v
retrieving revision 1.30
retrieving revision 1.31
diff -Lmandoc.css -Lmandoc.css -u -p -r1.30 -r1.31
--- mandoc.css
+++ mandoc.css
@@ -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; }
+}
--
To unsubscribe send an email to source+unsubscribe@mandoc.bsd.lv
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2018-05-26 20:05 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-05-26 20:05 mandoc: Start with baby steps towards responsive design: Use a @media schwarze
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).