altered style a bit and added stylesheets to all the other html files

[spider.git] / html / style.css

diff --git a/html/style.css b/html/style.css
index 106bffaa721234e996a311a43c57907171ad427e..aaab5de0292b3efbb9701bec0ebf470011d6d53b 100644 (file)
--- a/html/style.css
+++ b/html/style.css
@@ -5,5 +5,7 @@
  h1 { font-size: +130%}   
  h2 { font-size: +120%}
  h3 { font-size: +110%}
+ blockquote code { font-family: courier; color: gray; }
+ code { color: blue; }
  .copy { font-size: small; color: red }
  .id { font-size: small }