1 files changed, 6 insertions, 2 deletions
diff --git a/s2i/bin/assemble b/s2i/bin/assemble
index 13fd195..18ee439 100755
--- a/s2i/bin/assemble
+++ b/s2i/bin/assemble
@@ -31,6 +31,10 @@ cp -av virtio-spec/*.{html,css,pdf} virtio-spec/images output
 
 echo "---> CSS fixup ..."
 cat <<EOF >> output/*.css
+@import url(kraxel.css);
+EOF
+
+cat <<EOF >> output/kraxel.css
 body {
 	/* no extra long lines please */
 	max-width: 100ch;
@@ -44,7 +48,7 @@ body {
 }
 EOF
 
-echo "---> add README ..."
+echo "---> add HEADER ..."
 cat <<EOF >> output/HEADER.html
 <h1>virtio specification</h1>
 <p>
@@ -57,7 +61,7 @@ cat <<EOF >> output/HEADER.html
   <li><a href="$(cd output; ls *.pdf)">print version (pdf)</a>.
 </ul>
 <hr>
-<h3>directory index</h3>
+<h3>Directory index</h3>
 EOF
 
 echo "---> Fix permissions ..."