1 files changed, 148 insertions, 0 deletions
diff --git a/doc/style.css b/doc/style.css
new file mode 100644
index 0000000..e243249
--- /dev/null
+++ b/doc/style.css
@@ -0,0 +1,148 @@
+/* Scaladoc style sheet */
+
+a:link {
+	color: #0000ee;
+}
+
+a:visited {
+	color: #551a8b;
+}
+
+a:active {
+	color: #0000ee;
+}
+
+body {
+	background-color: #ffffff;
+}
+
+div.entity {
+	margin: 18px 0px 18px 0px;
+	font-size: x-large;
+	font-weight: bold;
+}
+
+div.doctitle {
+	font-weight: bold;
+	font-style: italic;
+}
+
+div.doctitle-larger {
+	margin: 0px 0px 10px 0px;
+	font-size: larger;
+	font-weight: bold;
+}
+
+div.kinds {
+	margin: 0.6em 0 0 0; /* top right bottom left */
+	font-weight: bold;
+}
+
+div.page-title {
+	margin: 15px 0px 15px 0px;
+	font-size: x-large;
+	font-weight: bold;
+	text-align: center;
+}
+
+div.source {
+	font-size: smaller;
+	color: gray;
+}
+
+span.entity {
+	color: #ff6666;
+}
+
+table.member {
+	margin: 0 0 1.2em 0; /* top rigth bottom left */
+	border-collapse: collapse;
+	border: 2px inset #888888;
+	width: 100%;
+}
+
+table.member td.title {
+	border: 2px inset #888888;
+	background-color: #ccccff;
+	font-size: x-large;
+	font-weight: bold;
+}
+
+table.inherited {
+	margin: 0 0 1.2em 0; /* top rigth bottom left */
+	border-collapse: collapse;
+	border: 2px inset #888888;
+	width: 100%;
+}
+
+table.inherited td.title {
+	background-color: #eeeeff;
+	font-weight: bold;
+}
+
+table.member-detail {
+	margin: 10px 0px 0px 0px;
+	border-collapse: collapse;
+	border: 2px inset #888888;
+	background-color: #ffffff;
+	width: 100%;
+}
+
+table.member-detail td.title {
+	border: 2px inset #888888;
+	background-color: #ccccff;
+	font-size: x-large;
+	font-weight: bold;
+}
+
+table.navigation {
+	border-collapse: collapse;
+	width: 100%;
+	font-family: Arial,Helvetica,Sans-Serif;
+}
+
+td.inherited-members {
+	border-top: 2px inset #888888;
+	border-right: 0px;
+}
+
+td.inherited-owner {
+	background-color: #eeeeff;
+	font-weight: bold;
+}
+
+td.modifiers {
+	border-top: 2px inset #888888;
+        border-right: 2px inset #888888;
+	width: 50px;
+	text-align: right;
+}
+
+td.navigation-enabled {
+	font-weight: bold;
+	color: #000000;
+	background-color: #eeeeff;
+}
+
+td.navigation-links {
+	width: 100%;
+	background-color: #eeeeff;
+}
+
+td.navigation-selected {
+	font-weight: bold;
+	color: #ffffff;
+	background-color: #00008b;
+}
+
+td.signature {
+	border-top: 2px inset #888888;
+	width: 90%;
+}
+
+ul.list {
+	margin: 0;
+	padding: 0;
+	list-style: none;
+}
+