From ab068940b5e63189dae3eddae84aaa2b03d6b6ef Mon Sep 17 00:00:00 2001 From: Adam Porter Date: Sat, 23 Mar 2024 09:31:18 -0500 Subject: [PATCH] * style/worg.css: Minor improvements (@media all body .title): Specify font size in ems. (@media all h1): Slightly reduce bottom margin so as not to leave a large space between the title and subtitle. (@media all .subtitle): Actually style this (apparently few pages use subtitles yet). (@media all .org-center): Actually style this so that "#+begin_center" blocks are centered and fit with the rest of the theme, allowing these blocks to be used to make certain text stand out. --- style/worg.css | 16 ++++++++++++++-- 1 file changed, 14 insertions(+), 2 deletions(-) diff --git a/style/worg.css b/style/worg.css index 30cadb1b..a675ac5b 100644 --- a/style/worg.css +++ b/style/worg.css @@ -61,7 +61,7 @@ body .title { margin-left: 0px; - font-size: 22pt; + font-size: 2.5em; } #org-div-home-and-up{ @@ -120,7 +120,7 @@ } h1 { - margin-bottom: 1.5em; + margin-bottom: 1em; margin-right: 7%; } @@ -315,6 +315,10 @@ /* font-lock-string-face */ color: #ccc79a; } + .subtitle { + font-size: 1.5em; + font-style: italic; + } .todo-comment { /* todo-comment-face */ color: #ffffff; @@ -422,6 +426,14 @@ /* calendar-today */ text-decoration: underline; } + .org-center { + text-align: center; + margin-top: 1em; + margin-bottom: 1em; + background: #587e7226; + padding-top: 0.2em; + padding-bottom: 0.2em; + } .org-comment { /* font-lock-comment-face */ color: #b22222; -- 2.30.2