diff options
Diffstat (limited to 'macros/latex/contrib/showlabels/style.css')
-rw-r--r-- | macros/latex/contrib/showlabels/style.css | 31 |
1 files changed, 5 insertions, 26 deletions
diff --git a/macros/latex/contrib/showlabels/style.css b/macros/latex/contrib/showlabels/style.css index f2e25ff6ea..f0a3150cca 100644 --- a/macros/latex/contrib/showlabels/style.css +++ b/macros/latex/contrib/showlabels/style.css @@ -1,5 +1,3 @@ -/* Installed from repo: 2021-09-14T22:35:45+01:00, Hg:1d9954537983 */ - body { color: #333; background: white; @@ -55,32 +53,15 @@ body { } */ -/* 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 { +div.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) { @@ -89,7 +70,7 @@ and I should leave such details to more local stylesheets width: 350pt; /* 50% of 700pt */ margin-right: auto; } - .topsidebar { + div.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% @@ -100,7 +81,6 @@ and I should leave such details to more local stylesheets 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), @@ -111,7 +91,7 @@ and I should leave such details to more local stylesheets width: 350pt; margin-left: auto; /* ...takes up the slack */ } - .topsidebar { + div.topsidebar { position: absolute; width: 290pt; /* same 290pt as above */ left: auto; @@ -119,7 +99,6 @@ and I should leave such details to more local stylesheets padding-left: 0pt; border: none; } - /* .topsidebar li { text-align: center; } */ } @@ -222,8 +201,8 @@ div.signature { margin-right: -5%; margin-top: 4ex; text-align: right; - border-top: solid thin #666; - padding-top: 0.3em; + border: solid thin #666; + padding: 0.3em; clear: both; } |