add new protocol document

[spider.git] / html / style.css

diff --git a/html/style.css b/html/style.css
index d51dcabecc29c163632d905b328e8935b3e1cc96..3c080dcda5b171575f77eb47da5b662b445f45fe 100644 (file)
--- a/html/style.css
+++ b/html/style.css
@@ -2,8 +2,12 @@
  table { font-family: verdana, helvetica, arial, sans-serif; background: white; }
  th { font-family: verdana, helvetica, arial, sans-serif; background: white; }
  td { font-family: verdana, helvetica, arial, sans-serif; background: white; }
- h1 { font-size: +145%}   
- h2 { font-size: +130%}
- h3 { font-size: +115%}
- .copy { font-size: small; color: red }
- .id { font-size: small } 
+ 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; } 
+ .code { color: blue; }