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.css39
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;
}