summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/showlabels/style.css
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/showlabels/style.css')
-rw-r--r--macros/latex/contrib/showlabels/style.css31
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;
}