diff options
author | Norbert Preining <norbert@preining.info> | 2021-10-10 03:01:13 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2021-10-10 03:01:13 +0000 |
commit | e55f5510950cf773d024770b0a0d66b13e37dae0 (patch) | |
tree | 1fe94e1923a9db1a2048b12be17a9dcd133c1a30 /macros/latex/contrib/showlabels/style.css | |
parent | 4dcb634d23314d66dc0c44d4f8226133ab0e05b0 (diff) |
CTAN sync 202110100301
Diffstat (limited to 'macros/latex/contrib/showlabels/style.css')
-rw-r--r-- | macros/latex/contrib/showlabels/style.css | 39 |
1 files changed, 34 insertions, 5 deletions
diff --git a/macros/latex/contrib/showlabels/style.css b/macros/latex/contrib/showlabels/style.css index 946d11a6a5..f2e25ff6ea 100644 --- a/macros/latex/contrib/showlabels/style.css +++ b/macros/latex/contrib/showlabels/style.css @@ -1,3 +1,5 @@ +/* Installed from repo: 2021-09-14T22:35:45+01:00, Hg:1d9954537983 */ + 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; } */ } @@ -122,11 +143,17 @@ div.abstract code { font-size: 80%; } +/* a span/div style for attracting attention */ +.attention { + color: #822; +} + h1, h2, h3, h4, h5, h6 { color: #822; font-weight: 100; /* few fonts have ultra-light weights */ line-height: 100%; /* no need to spread out titles */ } + h1 { margin-left: -40%; margin-right: -5%; @@ -134,6 +161,7 @@ h1 { border: solid thin #666; text-align: right; } + h2 { margin-left: -40%; margin-right: -5%; @@ -146,6 +174,7 @@ h2.appendices { margin-top: 10ex; border-top: double medium #666; } + h3 { margin-left: -30%; float: left; @@ -193,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; } |