2 files changed, 0 insertions, 129 deletions
diff --git a/src/compiler/scala/tools/ant/resources/script.js b/src/compiler/scala/tools/ant/resources/script.js
deleted file mode 100644
index 94093ecc50..0000000000
--- a/src/compiler/scala/tools/ant/resources/script.js
+++ /dev/null
@@ -1,5 +0,0 @@
-<!--
-function setWindowTitle(title) {
-    parent.document.title = title;
-}
--->
diff --git a/src/compiler/scala/tools/ant/resources/style.css b/src/compiler/scala/tools/ant/resources/style.css
deleted file mode 100644
index 5fecb9014e..0000000000
--- a/src/compiler/scala/tools/ant/resources/style.css
+++ /dev/null
@@ -1,124 +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.page-title {
-	margin: 15px 0px 15px 0px;
-	font-size: x-large;
-	font-weight: bold;
-	text-align: center;
-}
-
-span.entity {
-	color: #ff6666;
-}
-
-table.member {
-	border-collapse: collapse;
-        border: 2px solid #888888;
-	background-color: #ffffff;
-        width: 100%;
-}
-
-table.member-detail {
-	margin: 10px 0px 0px 0px;
-	border-collapse: collapse;
-        border: 2px solid #888888;
-	background-color: #ffffff;
-        width: 100%;
-}
-
-table.navigation {
-	border-collapse: collapse;
-	width: 100%;
-	font-family: Arial,Helvetica,Sans-serif;
-}
-
-table.list {
-	border-collapse: collapse;
-	border-style: none;
-	width: 100%;
-}
-
-td.inherited-members {
-	border-top: 2px solid #888888;
-	border-right: 0px;
-}
-
-td.inherited-owner {
-	background-color: #eeeeff;
-	font-weight: bold;
-}
-
-td.member-title {
-	border: 2px solid #888888;
-	background-color: #ccccff;
-	font-size: x-large;
-	font-weight: bold;
-}
-
-td.modifiers {
-	border-top: 2px solid #888888;
-        border-right: 2px solid #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 solid #888888;
-	width: 90%;
-}
-
-td.title {
-	background-color: #ccccff;
-	font-size: x-large;
-	font-weight: bold;
-}