From 69ed12481e27f2a8598a6624def0b25794b5dc15 Mon Sep 17 00:00:00 2001 From: John Finlay Date: Sun, 13 Aug 2006 04:45:10 +0000 Subject: Add. Add install of style.css * docs/style.css: Add. * docs/Makefile.am: Add install of style.css --- ChangeLog | 5 +++++ docs/Makefile.am | 7 ++++++- docs/style.css | 10 ++++++++++ 3 files changed, 21 insertions(+), 1 deletion(-) create mode 100644 docs/style.css diff --git a/ChangeLog b/ChangeLog index 12d44f14..f7bc1a03 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2006-08-12 John Finlay + + * docs/style.css: Add. + * docs/Makefile.am: Add install of style.css + 2006-08-10 John Finlay * configure.in: diff --git a/docs/Makefile.am b/docs/Makefile.am index 6b46d162..a1749e4c 100644 --- a/docs/Makefile.am +++ b/docs/Makefile.am @@ -573,6 +573,10 @@ HTML_DATA = \ html/index.sgml \ html/pygtk.devhelp +CSS_FILES = style.css +CSSdir = $(HTMLdir) +CSS_DATA = $(CSS_FILES) + BUILT_SOURCES = \ build_stamp \ reference/builddate.xml \ @@ -587,7 +591,8 @@ CLEANFILES = \ EXTRA_DIST = \ $(XMLFILES) \ $(XSLFILES) \ - $(FIX_XREF) + $(FIX_XREF) \ + $(CSS_FILES) REFERENCE_DEPS = \ reference \ diff --git a/docs/style.css b/docs/style.css new file mode 100644 index 00000000..59abc74e --- /dev/null +++ b/docs/style.css @@ -0,0 +1,10 @@ +.programlisting { +font: monospace; +background-color: #E0E0E0; +padding: 5; +} + +pre.synopsis { +background-color: #E0E0E0; +padding: 5; +} -- cgit v1.2.1