tweak website style sheets (thanks to Robert Goldman!)

diff --git a/website/source/resources/header.md b/website/source/resources/header.md
index 914a580..9008e4b 100644 (file)
--- 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 (file)
--- 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"}
 
 <div id="header">

diff --git a/website/source/resources/ug-header.md b/website/source/resources/ug-header.md
index 2d261df..2a40de2 100644 (file)
--- a/website/source/resources/ug-header.md
+++ b/website/source/resources/ug-header.md
@@ -1,2 +1,2 @@
 {include shared-header.md}
-{set-property title "CL-Graph Users Guide"}
+{set-property style-sheets "user-guide.css"  "http://common-lisp.net/project/cl-containers/shared/style-200.css"}

diff --git a/website/source/user-guide.css b/website/source/user-guide.css
index a0c4162..2e83f90 100644 (file)
--- a/website/source/user-guide.css
+++ b/website/source/user-guide.css
@@ -125,11 +125,16 @@ h3, h4 {
 
 .documentation.header {
        display: block;
+       background-color: lightgrey;
+       color: black;
        position: relative;
-       border-top-style: solid;
-       border-top-width: 1pt;
        padding-top: 4px;
        margin-top: 2em;
+       width:auto;
+       min-width:120px;
+       font-size: medium;
+       padding: 1mm 1mm 1mm 1em;
+       border: none;
 }
 
 .documentation.contents {
@@ -141,7 +146,7 @@ h3, h4 {
        font-weight: bold;
        float: left;
        padding-right: 10px;
-       width: 125px;
+       width: 80%;
 }
 
 .documentation-kind {

diff --git a/website/source/user-guide.mmd b/website/source/user-guide.mmd
index a6b53f2..b9912b6 100644 (file)
--- a/website/source/user-guide.mmd
+++ b/website/source/user-guide.mmd
@@ -1,6 +1,5 @@
 {include resources/ug-header.md}
 {set-property title "CL-Graph User's Guide"}
-{set-property style-sheet user-guide}
 {set-property docs-package cl-graph}
 
 # CL-Graph User's Guide