Added style.css for php3-tool. I really don't know why it wasn't in the repository...

diff --git a/contrib/php3-tool/style.css b/contrib/php3-tool/style.css
new file mode 100644 (file)
index 0000000..f27247c
--- /dev/null
+++ b/contrib/php3-tool/style.css
@@ -0,0 +1,24 @@
+       BODY,B,P,H2,H1 {
+               font-family: lucida sans unicode;
+       }
+       BODY,P {
+               font-weight: bold;
+               font-size: 12pt;
+       }
+       .form {
+               font-size: 10pt;
+               color: #003333;
+       }
+       H3 {
+               font-family: Verdana,Arial,Helvetica;
+               font-size: 12pt;
+               font-weight: bold;
+       }
+       .head {
+               font-size: 13pt;
+               color: #003333;
+       }
+       .subsection {
+               font-size: 12pt;
+               color: #003333;
+       }