diff --git a/contrib/php3-tool/style.css b/contrib/php3-tool/style.css
new file mode 100644
index 0000000000000000000000000000000000000000..f27247ca486eb297995886904735754c86d19138
--- /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;
+	}