diff options
| author | Mikael Hallendal <micke@codefactory.se> | 2002-06-01 14:30:36 +0000 |
|---|---|---|
| committer | Mikael Hallendal <hallski@src.gnome.org> | 2002-06-01 14:30:36 +0000 |
| commit | 46aacccc08693f31c99ed5b4d622d6149ab26946 (patch) | |
| tree | 20b8dc9b719c8acc75fa2a275556d4ccea48223c | |
| parent | 2b4a2f3f1366edac152ab8226efa8debc0a36575 (diff) | |
| download | yelp-46aacccc08693f31c99ed5b4d622d6149ab26946.tar.gz | |
removed all of the CSS used to get it to not render huge fonts, now
2002-06-01 Mikael Hallendal <micke@codefactory.se>
* src/yelp-view-toc.c (toc_page_start): removed all of the CSS
used to get it to not render huge fonts, now handled by
Gtkhtml2.
* stylesheets/yelp-customization.xsl:
- don't hard code font size to 10pt. Use the font set by Gtkhtml2
(which is taken from the theme)
| -rw-r--r-- | ChangeLog | 8 | ||||
| -rw-r--r-- | src/yelp-view-toc.c | 10 | ||||
| -rw-r--r-- | stylesheets/yelp-customization.xsl | 1 |
3 files changed, 9 insertions, 10 deletions
@@ -1,5 +1,13 @@ 2002-06-01 Mikael Hallendal <micke@codefactory.se> + * src/yelp-view-toc.c (toc_page_start): removed all of the CSS + used to get it to not render huge fonts, now handled by + Gtkhtml2. + + * stylesheets/yelp-customization.xsl: + - don't hard code font size to 10pt. Use the font set by Gtkhtml2 + (which is taken from the theme) + * src/yelp-db2html.c (main): don't load the DTD from the net. * src/yelp-reader.c (reader_file_start): Fixed #83668 diff --git a/src/yelp-view-toc.c b/src/yelp-view-toc.c index eaf248a1..f50c1002 100644 --- a/src/yelp-view-toc.c +++ b/src/yelp-view-toc.c @@ -670,16 +670,8 @@ toc_page_start (YelpViewTOC *view, const gchar *page_name) "<html>\n" "<head>\n" "<meta http-equiv=\"Content-Type\" content=\"text/html; charset=utf-8\">\n" - "<style type=\"text/css\">\n" - "A:link { color: #00008b; font-size: 10 }\n" - "A:visited { color: #00008b; font-size: 10}\n" - "A:active { color: #00008b; font-size: 10}\n" - "h1 { font-size: 25 }\n" - "h2 { font-size: 15 }\n" - "BODY { color: #000000; font-size: 10 }\n" - "</style>\n" "</head>\n" - "<body bgcolor=\"white\" text=\"black\" marginwidth=\"0\"\n" + "<body marginwidth=\"0\"\n" "background=\"file:" IMAGEDIR "/bcg.png\" marginheight=\"0\"\n" "border=\"10\" topmargin=\"0\" leftmargin=\"0\">\n" "<table width=\"100%\" border=\"0\" cellpadding=\"4\" cellspacing=\"0\">\n" diff --git a/stylesheets/yelp-customization.xsl b/stylesheets/yelp-customization.xsl index c434a981..06d64d5c 100644 --- a/stylesheets/yelp-customization.xsl +++ b/stylesheets/yelp-customization.xsl @@ -137,7 +137,6 @@ <xsl:template name="user.head.content"> <style> <xsl:text> - BODY {font-size: 10pt} LI {margin-left: 3em} LI P {margin-bottom: 0} LI P {margin-top: 0} |