add new protocol document

[spider.git] / html / style.css

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