diff options
Diffstat (limited to 'fonts/feyn/style.css')
-rw-r--r-- | fonts/feyn/style.css | 31 |
1 files changed, 26 insertions, 5 deletions
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; } |