diff --git a/doc/style.css b/doc/style.css
new file mode 100644
index 0000000000000000000000000000000000000000..b2d6fecb9f6420ffd702041a438b28cd395eb8df
--- /dev/null
+++ b/doc/style.css
@@ -0,0 +1,27 @@
+body {
+	background-color: #CCC;
+	color: black;
+	margin: 0;
+}
+
+div.contents {
+	margin-bottom: 10px;
+	padding: 12px;
+	margin-left: auto;
+	margin-right: auto;
+	max-width: 1024px;
+	background-color: white;
+	border-radius: 8px;
+}
+
+#titlearea {
+background-color: white;
+}
+
+hr.footer {
+	display: none;
+}
+
+.footer {
+	background-color: #AAA;
+}