From 40f72b9d9074c211b533bf858ca2a438dad3aeb5 Mon Sep 17 00:00:00 2001 From: Gary King Date: Sat, 5 Mar 2011 10:16:25 -0500 Subject: [PATCH] tweak website style sheets (thanks to Robert Goldman!) --- website/source/resources/header.md | 1 + website/source/resources/shared-header.md | 1 - website/source/resources/ug-header.md | 2 +- website/source/user-guide.css | 11 ++++++++--- website/source/user-guide.mmd | 1 - 5 files changed, 10 insertions(+), 6 deletions(-) diff --git a/website/source/resources/header.md b/website/source/resources/header.md index 914a580..9008e4b 100644 --- a/website/source/resources/header.md +++ b/website/source/resources/header.md @@ -1,4 +1,5 @@ {include shared-header.md} +{set-property style-sheet "http://common-lisp.net/project/cl-containers/shared/style-200.css"} [devel-list]: http://common-lisp.net/cgi-bin/mailman/listinfo/cl-graph-devel [cliki-home]: http://www.cliki.net//cl-graph diff --git a/website/source/resources/shared-header.md b/website/source/resources/shared-header.md index db3ccde..b89f07f 100644 --- a/website/source/resources/shared-header.md +++ b/website/source/resources/shared-header.md @@ -1,6 +1,5 @@ {include shared-links.md} {set-property html yes} -{set-property style-sheets "http://common-lisp.net/project/cl-containers/shared/style-200.css" "user-guide.css"} {set-property author "Gary Warren King"}