Rename intro.css to doc.css

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