f3552130e2
avoid spurious vertical whitespace preceeding heading which are marked
...
with a \label
2003-09-06 01:10:14 +00:00
929d95957b
make the padding inside a "See also" box more consistent around the
...
sides
2003-09-05 13:58:26 +00:00
0739c44bbd
Suppress more online-only navigation in the printed HTML.
2003-09-04 22:16:45 +00:00
859c46a1fd
Make the redundent portion of the lower navigation area disappear from the
...
printed version for browsers that support "@media print" in CSS.
2003-09-04 19:30:15 +00:00
9e78d1e1e5
fix minor syntactic faux pas
2003-08-29 04:09:26 +00:00
bd5fdd93a9
Make it easier to figure out the where a menuselection starts and ends
...
by controling the font.
2003-07-16 14:01:56 +00:00
6ab8b40337
fix link-hovering so <a name='...'> (no href attribute) doesn't get
...
the hovering background
2003-06-27 16:32:27 +00:00
49c595589e
Make the footer at the end of a \verbatiminput stand out a little
...
more, to make it easier to tell apart from the verbatim content.
2003-01-29 05:14:44 +00:00
9db20c62ff
Make the "notice" environments somewhat similar, with less difference
...
between the "note" and "warning" flavors.
2003-01-27 16:31:16 +00:00
a8ef0d1df2
Anchors ("a" elements) used only for the name attribute should not
...
change color on hover, only those that are link sources (href
attributes).
2002-06-14 13:47:58 +00:00
5a55c49c8c
Added more style for major warnings.
2002-05-01 22:03:40 +00:00
8a5e6790d9
Clean up the application of style to verbatim text.
...
This moves styling to the stylesheet; the use of <dl> structures to control
style sometimes produced improper indentation of subsequent text in many
browsers when the text was already part of the <dl> structure (as in a
function or class description).
2002-04-15 18:41:31 +00:00
a8e5d432a5
Minor style change.
2002-04-04 22:56:57 +00:00
beafc795df
Typo, spotted by Fredrik Lundh.
2001-11-26 21:46:53 +00:00
e1d4ad3a31
Finally commit the font changes that have been live on the development site
...
for a month or more.
2001-11-14 22:35:59 +00:00
479384e1ff
Move the styling for the HTML version of \mailheader into the CSS file.
...
In both the HTML and typeset versions of the documentation, add a colon
after the name of a mail header so that it is more easily distinguished
from other text.
2001-09-26 18:46:36 +00:00
bde8d1c8af
Revise a comment about styles I don't think LaTeX2HTML can generate,
...
but which came from their default stylesheet.
Add styles for the new hyperlinked grammar productions.
2001-07-06 22:37:36 +00:00
1ab1f71ec3
Consistently use semi-colons after the last property for each selector.
2001-06-23 04:53:43 +00:00
9eb41557ef
Add more font flavors for <var> elements; the previous incarnation caused
...
some NT/IE5.5 users to see only boxes for these characters. This might be
specific to NT Service Pack 6.
2001-03-08 22:17:54 +00:00
6c7fc77d22
Minor simplification.
2000-10-26 20:01:09 +00:00
6a11960ed4
Minor addition; add a little formatting to the release information that
...
will be added to Doc/perl/l2hinit.perl shortly.
2000-10-25 16:10:46 +00:00
5df72f0632
Minor stylesheet nit.
2000-10-02 17:36:27 +00:00
329796d634
Consistency nits, untabify.
2000-09-28 20:41:16 +00:00
1681627ebf
Push more of the display control into the style sheet.
2000-09-16 20:40:44 +00:00
3eb7c126cd
Always room to remove more formatting from the HTML!
2000-08-31 07:15:57 +00:00
eacc4fc5e6
Push a little more here to avoid style information in the generation
...
scripts as much as possible.
2000-08-30 15:02:13 +00:00
699f98c09a
Move a little more here.
2000-08-29 21:57:34 +00:00
bdcc96c9e3
Changes from 1.5.2p2, plus fix a couple of errors noted by Hernan
...
Martinez Foffani <hfoffani@sofrecom.com.ar>.
2000-03-29 22:41:52 +00:00
7c6a90de8a
Added some rules that affect those little "See also:" sections.
1999-03-25 22:22:45 +00:00
01bc01c82e
Changes to accomodate the global module index and platform annotations.
1999-03-02 15:58:20 +00:00
df5d50d889
Specify the sizes of H? relative to the normal font size as
...
percentages; using "large", "x-large" makes them too big for
some troublemakers. ;-)
(Not specifying them at all causes some browsers to make them the same
size as normal text. ;-( )
1999-02-19 23:03:04 +00:00
00d98ee5cc
CSS style sheet for the documentation.
1999-02-16 20:27:08 +00:00
Fred Drake