From 2773132ea593028dafe764f7560fd94ecb827d3d Mon Sep 17 00:00:00 2001
From: Norbert Preining <norbert@preining.info>
Date: Wed, 20 Jul 2022 03:00:57 +0000
Subject: CTAN sync 202207200300

---
 fonts/feyn/style.css | 31 ++++++++++++++++++++++++++-----
 1 file changed, 26 insertions(+), 5 deletions(-)

(limited to 'fonts/feyn/style.css')

diff --git a/fonts/feyn/style.css b/fonts/feyn/style.css
index f0a3150cca..f1c150d234 100644
--- a/fonts/feyn/style.css
+++ b/fonts/feyn/style.css
@@ -1,3 +1,5 @@
+/* Installed from repo: 2022-07-12T17:44:22+01:00, Hg:4e5b8a899d61 */
+
 body {
   color: #333;
   background: white;
@@ -53,15 +55,32 @@ body {
 }
 */
 
-div.topsidebar {
+/* The class='topsidebar' is formatting, typically div or ul,
+   for auxiliary stuff, placed at the top of the right-hand column.
+   The element with this class should go just _after_ the <h1> heading. */
+.topsidebar {
     float: right;
     width: 50%;                 /* ...of the body width (ie, 50% x 50% of screen) */
     font-size: smaller;
+    line-height: 140%;          /* ...of the font size*/
     margin-left: 1em;
     padding-left: 1em;
     border-left: solid thin #AAA;
 }
 
+/*
+I have in the past styled `.topsidebar li` like this,
+but I think this is too much detail for this location:
+I should restrict the styling here to the location and general appearance of the sidebar
+and I should leave such details to more local stylesheets
+(and in any case I think it's only my blog that actually uses this class)
+.topsidebar li {
+    list-style-type: none;
+    text-align: right;
+    line-height: 150%;
+}
+*/
+
 /* On wider screens, move the sidebar out to the right hand side */
 /* This uses CSS3 media queries: http://www.w3.org/TR/css3-mediaqueries/ */
 @media screen and (min-width: 700pt) and (max-width: 850pt) {
@@ -70,7 +89,7 @@ div.topsidebar {
         width: 350pt;           /* 50% of 700pt */
         margin-right: auto;
     }
-    div.topsidebar {
+    .topsidebar {
         position: absolute;
         /* I feel this size should be 595pt (350 + 210 + 0.05*700),
            but that's clearly not right -- I don't think I understand what the -5%
@@ -81,6 +100,7 @@ div.topsidebar {
         padding-left: 0pt;
         border: none;
     }
+    /* .topsidebar li { text-align: center; } */
 }
 /* On still-wider screens, expand the left-margin, keeping the sidebar attached to the right-hand edge.
    When the screen is 850pt wide (expanding from the @media case above),
@@ -91,7 +111,7 @@ div.topsidebar {
         width: 350pt;
         margin-left: auto;      /* ...takes up the slack */
     }
-    div.topsidebar {
+    .topsidebar {
         position: absolute;
         width: 290pt;           /* same 290pt as above */
         left: auto;
@@ -99,6 +119,7 @@ div.topsidebar {
         padding-left: 0pt;
         border: none;
     }
+    /* .topsidebar li { text-align: center; } */
 }
 
 
@@ -201,8 +222,8 @@ div.signature {
   margin-right: -5%;
   margin-top: 4ex;
   text-align: right;
-  border: solid thin #666;
-  padding: 0.3em;
+  border-top: solid thin #666;
+  padding-top: 0.3em;
   clear: both;
 }
 
-- 
cgit v1.2.3