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, 26 insertions, 5 deletions
diff --git a/macros/latex/contrib/showlabels/style.css b/macros/latex/contrib/showlabels/style.css
index f0a3150cca..f1c150d234 100644
--- a/macros/latex/contrib/showlabels/style.css
+++ b/macros/latex/contrib/showlabels/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;
}