diff options
Diffstat (limited to 'Master/texmf-dist/doc/bibtex/bibhtml/style.css')
| -rw-r--r-- | Master/texmf-dist/doc/bibtex/bibhtml/style.css | 112 |
1 files changed, 103 insertions, 9 deletions
diff --git a/Master/texmf-dist/doc/bibtex/bibhtml/style.css b/Master/texmf-dist/doc/bibtex/bibhtml/style.css index 0f464d2b9ed..946d11a6a55 100644 --- a/Master/texmf-dist/doc/bibtex/bibhtml/style.css +++ b/Master/texmf-dist/doc/bibtex/bibhtml/style.css @@ -2,18 +2,106 @@ 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 */ + 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", "Gill Sans", gill, Helvetica, sans-serif; + 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; + /* 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%; } +/* adapt to wider screens */ +@media screen and (min-width: 700pt) { + body { + margin-left: 210pt; + width: 350pt; + } +} + +/* The following appears not to work in Safari or Chrome + -- don't know why, yet. +@media print { + @page :right { + size: auto; + body { + margin-top: 2cm; + margin-bottom: 3cm; + margin-left: 10%; + width: 60%; + margin-right: 30%; + color: #d33; + } + } + @page :left { + size: auto; + body { + margin-top: 2cm; + margin-bottom: 3cm; + margin-left: 30%; + width: 60%; + margin-right: 10%; + color: #33d; + } + } +} +*/ + +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 */ +/* This uses CSS3 media queries: http://www.w3.org/TR/css3-mediaqueries/ */ +@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; @@ -43,7 +131,7 @@ h1 { margin-left: -40%; margin-right: -5%; padding: 0.5em; - border: solid #666; + border: solid thin #666; text-align: right; } h2 { @@ -53,6 +141,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; @@ -98,8 +191,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; } @@ -107,9 +201,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%; } |