From 5a842551c3146242e4ea8750d6bb9a9f3d2b934c Mon Sep 17 00:00:00 2001 From: Karolin Varner Date: Wed, 29 May 2019 18:38:18 +0200 Subject: [PATCH] Use the default font size by default Before this, fonts inside docdash where rendered slightly larger than the average font on other sides. In practiced this caused some of us to try do make the font size smaller again since this would fit less information, especially for smaller screen sizes (mobile devices). This reverts to using the default font size for prosaic text; this allows users to set the optimum font size for their eyes & needs. --- static/styles/jsdoc.css | 3 --- 1 file changed, 3 deletions(-) diff --git a/static/styles/jsdoc.css b/static/styles/jsdoc.css index 5c016d1f..0c66e3a5 100644 --- a/static/styles/jsdoc.css +++ b/static/styles/jsdoc.css @@ -15,7 +15,6 @@ body { margin: 0 auto; padding: 0 20px; font-family: 'Helvetica Neue', Helvetica, sans-serif; - font-size: 16px; } img { @@ -107,7 +106,6 @@ h4.name a:hover { } h5, .container-overview .subsection-title { - font-size: 120%; letter-spacing: -0.01em; margin: 8px 0 3px 0; } @@ -126,7 +124,6 @@ tt, code, kbd, samp { } .class-description { - font-size: 130%; line-height: 140%; margin-bottom: 1em; margin-top: 1em;