diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/textpos/style.css')
| -rw-r--r-- | Master/texmf-dist/doc/latex/textpos/style.css | 83 |
1 files changed, 74 insertions, 9 deletions
diff --git a/Master/texmf-dist/doc/latex/textpos/style.css b/Master/texmf-dist/doc/latex/textpos/style.css index 922fb17dc57..b6ba3d05f1c 100644 --- a/Master/texmf-dist/doc/latex/textpos/style.css +++ b/Master/texmf-dist/doc/latex/textpos/style.css @@ -2,17 +2,76 @@ body { color: #333; background: white; margin-left: +30%; - margin-right: +20%; - padding: 0.5em; /* this will make a difference if I decide to - have the background a different colour */ + width: 50%; /* body is 50% of screen width */ + margin-right: auto; /* ie, 20% */ + padding: 0.5em; /* this will make a difference if I decide to + have the background a different colour */ /* I can't decide on font: Optima's always nice, but Gill looks agreeably intense. Helvetica's a decent fallback. */ + font-family: "Helvetica Neue", Helvetica, "Gill Sans", gill, sans-serif; /* font-family: Optima, "Gill Sans", gill, Helvetica, sans-serif; */ - font-family: "Gill Sans", gill, Helvetica, sans-serif; - font-size: 11pt; + /* font-family: "Gill Sans", gill, Helvetica, sans-serif; */ + /* I seem to have used 11pt at some point in the past, but this + is far too big -- did I ever have a reason for that, or is it + just due to browser changes? */ + font-size: 10pt; line-height: 150%; } +div.topsidebar { + float: right; + width: 50%; /* ...of the body width (ie, 50% x 50% of screen) */ + font-size: smaller; + margin-left: 1em; + padding-left: 1em; + border-left: solid thin #AAA; +} + +/* On wider screens, move the sidebar out to the right hand side */ +@media screen and (min-width: 700pt) and (max-width: 850pt) { + body { + margin-left: 210pt; + width: 350pt; /* 50% of 700pt */ + margin-right: auto; + } + 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% + in the h1 spec below is actually 5% of! */ + left: 570pt; + width: auto; + margin-left: 0pt; + padding-left: 0pt; + border: none; + } +} +/* 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), + the left margin will be 210pt, the width 350pt, and the right margin therefore 290pt.*/ +@media screen and (min-width: 850pt) { + body { + margin-right: 290pt; /* 290 = 850-(210+350) */ + width: 350pt; + margin-left: auto; /* ...takes up the slack */ + } + div.topsidebar { + position: absolute; + width: 290pt; /* same 290pt as above */ + left: auto; + right: 0%; + padding-left: 0pt; + border: none; + } +} + + +code, pre { + font-family: Monaco, fixed; + font-size: 9pt; +} + +a { text-decoration: none; } a:link { color: #66C; } a:visited { color: #669; } a[href]:hover { background: #EEE; } @@ -36,7 +95,7 @@ h1 { margin-left: -40%; margin-right: -5%; padding: 0.5em; - border: solid #666; + border: solid thin #666; text-align: right; } h2 { @@ -46,6 +105,11 @@ h2 { border-top: solid thin #666; clear: both; } + +h2.appendices { + margin-top: 10ex; + border-top: double medium #666; +} h3 { margin-left: -30%; float: left; @@ -91,8 +155,9 @@ img.smallimage { div.signature { margin-left: -40%; margin-right: -5%; + margin-top: 4ex; text-align: right; - border: solid #666; + border: solid thin #666; padding: 0.3em; clear: both; } @@ -100,9 +165,9 @@ div.signature { /* ============================================================ * Some other curiosities of my one-time formatting for web pages */ -pre.doc-history { +.doc-history { font-size: xx-small; - background #eee; + background: #eee; line-height: 100%; } |