1 files changed, 0 insertions, 148 deletions
diff --git a/doc/style.css b/doc/style.css
deleted file mode 100644
index e243249..0000000
--- a/doc/style.css
+++ /dev/null
@@ -1,148 +0,0 @@
-/* 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;
-}
-