public inbox for gdb-patches@sourceware.org
 help / color / mirror / Atom feed
* [PATCH htdocs] tighten up margins on smaller devices
@ 2023-12-16  2:10 Mike Frysinger
  2023-12-22 15:50 ` Tom Tromey
  0 siblings, 1 reply; 2+ messages in thread
From: Mike Frysinger @ 2023-12-16  2:10 UTC (permalink / raw)
  To: gdb-patches

Scale down the font size and margins on headers on smaller devices.
The defaults cause the GDB title to take up most of the screen, and
then the links & page intro take up the rest.  Scale down the font
so that it's still relatively larger, and tighten up the margins.
The content is still comfortably readable.

Similarly, tighten the spacing on lists -- the default can quickly
suck up horizontal space.  The result is still clear how things are
broken up, but given more space for reading content.
---
 css/site.css | 44 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)

diff --git a/css/site.css b/css/site.css
index 886dcccb3b0a..985fbde6e888 100644
--- a/css/site.css
+++ b/css/site.css
@@ -3,6 +3,7 @@
 body {
   background-color: #FFF;
   color: #000;
+  margin: 0 0.5em 0 0.5em;
 }
 
 a:link {
@@ -43,3 +44,46 @@ a:visited {
 img#archer-logo {
   max-width: 25%;
 }
+
+/* This is ~768px with 16pt font.  */
+@media only screen and (max-width: 50em) {
+  h1 {
+    font-size: 1.5em;
+  }
+
+  h2 {
+    font-size: 1.3em;
+  }
+
+  h3 {
+    font-size: 1.1em;
+  }
+
+  h1, h2, h3, h4 {
+    margin: 0.5em 0 0.5em 0;
+  }
+}
+
+/* This is ~480px with 16pt font.  */
+@media only screen and (max-width: 30em) {
+  h1 {
+    font-size: 1.3em;
+  }
+
+  h2 {
+    font-size: 1.2em;
+  }
+
+  ul {
+    padding-left: 1em;
+  }
+
+  dd {
+    margin-left: 1em;
+  }
+
+  /* How many spaces-per-tab.  */
+  pre {
+    tab-size: 4;
+  }
+}
-- 
2.43.0


^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: [PATCH htdocs] tighten up margins on smaller devices
  2023-12-16  2:10 [PATCH htdocs] tighten up margins on smaller devices Mike Frysinger
@ 2023-12-22 15:50 ` Tom Tromey
  0 siblings, 0 replies; 2+ messages in thread
From: Tom Tromey @ 2023-12-22 15:50 UTC (permalink / raw)
  To: Mike Frysinger; +Cc: gdb-patches

>>>>> "Mike" == Mike Frysinger <vapier@gentoo.org> writes:

Mike> Scale down the font size and margins on headers on smaller devices.
Mike> The defaults cause the GDB title to take up most of the screen, and
Mike> then the links & page intro take up the rest.  Scale down the font
Mike> so that it's still relatively larger, and tighten up the margins.
Mike> The content is still comfortably readable.

Mike> Similarly, tighten the spacing on lists -- the default can quickly
Mike> suck up horizontal space.  The result is still clear how things are
Mike> broken up, but given more space for reading content.

Seems fine to me fwiw.

Tom

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2023-12-22 15:50 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-12-16  2:10 [PATCH htdocs] tighten up margins on smaller devices Mike Frysinger
2023-12-22 15:50 ` Tom Tromey

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 read-only IMAP folder(s) and NNTP newsgroup(s).