]> dxcluster.org Git - spider.git/commitdiff
added style sheet to the html stuff
authorminima <minima>
Thu, 18 Jan 2001 19:55:48 +0000 (19:55 +0000)
committerminima <minima>
Thu, 18 Jan 2001 19:55:48 +0000 (19:55 +0000)
html/style.css [new file with mode: 0644]
sgml/Makefile

diff --git a/html/style.css b/html/style.css
new file mode 100644 (file)
index 0000000..d51dcab
--- /dev/null
@@ -0,0 +1,9 @@
+ body { font-family: verdana, helvetica, arial, sans-serif; background: white; }
+ 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 } 
index 1856e10c70d843a9ea2a3637800377475ff3bddd..572e6d6d82e5ad155aa3df2946daaa89f5aad077 100644 (file)
@@ -19,6 +19,6 @@ all:  ../html/adminmanual.html ../txt/adminmanual.txt ../html/spiderFAQ.html ../t
 
 #      ../html/spiderFAQ.html: spiderFAQ.sgml
        sgml2html spiderFAQ.sgml
-       perl -pi.bak -e 's/<BODY>/<BODY BGCOLOR="#ffffff">/' *.html
+       perl -pi.bak -e 's|</HEAD>|<link rel=stylesheet href="style.css" type="text/css" title="default stylesheet">\n</HEAD>|' *.html
        mv spid*.html ../html
        rm -f *.bak