summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc-prologue.xhtml2
-rw-r--r--doc.css (renamed from intro.css)0
2 files changed, 1 insertions, 1 deletions
diff --git a/doc-prologue.xhtml b/doc-prologue.xhtml
index c9e1c3c..08f63ee 100644
--- a/doc-prologue.xhtml
+++ b/doc-prologue.xhtml
@@ -14,7 +14,7 @@ $./common.css$
$./pre-box.css$
$./code-box.css$
$./toc.css$
-$./intro.css$
+$./doc.css$
</style>
</head>
diff --git a/intro.css b/doc.css
index fffb9fd..fffb9fd 100644
--- a/intro.css
+++ b/doc.css