Fine tune padding at top of HTML pages

Addressing change requested by Hans in review comment.
henrikt-ma · Feb 19, 2021 · fd2f0ba · fd2f0ba
1 parent 6684ba6
commit fd2f0ba
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/css/MLS-navbar-left.css b/css/MLS-navbar-left.css
@@ -127,7 +127,10 @@ nav > div.ltx_TOC {
 }
 
 .ltx_page_content {
-  padding: 1rem;
+  padding-top: 2rem;
+  padding-bottom: 1rem;
+  padding-left: 1rem;
+  padding-right: 1rem;
   background: white;
 }
 

diff --git a/css/MLS.css b/css/MLS.css
@@ -15,8 +15,8 @@ body {
 a       { text-decoration: none; color: inherit; }
 a:hover { text-decoration: underline; }
 
-.ltx_title_chapter {
-  padding-top: 2rem;
+.ltx_titlepage {
+  padding-top: 2rem; /* The big Modelica Language logo doesn't look good too close to page header. */
 }
 
 .ltx_tocentry_subsection { display: none; }