add new protocol document
[spider.git] / html / style.css
index 106bffaa721234e996a311a43c57907171ad427e..3c080dcda5b171575f77eb47da5b662b445f45fe 100644 (file)
@@ -5,5 +5,9 @@
  h1 { font-size: +130%}   
  h2 { font-size: +120%}
  h3 { font-size: +110%}
- .copy { font-size: small; color: red }
- .id { font-size: small } 
+ hr { color: gray; }
+ blockquote code { font-family: courier; color: gray; }
+ code { color: blue; }
+ .copy { font-size: small; color: red; }
+ .id { font-size: small; } 
+ .code { color: blue; }