diff --git a/build.xml b/build.xml
index ae6224a70d95ce57e5318592fe10ff049c371c85..b80f6fd12ab1c98f92a7f06c4f08d29786d3939e 100644
--- a/build.xml
+++ b/build.xml
@@ -297,6 +297,9 @@
         <copy todir="pkg-temp/docs/themes/" >
           <fileset dir="installer/resources/themes/" />
         </copy>
+        <!-- CSS now in docs/, not in the .war -->
+        <copy file="apps/routerconsole/jsp/default.css" tofile="pkg-temp/docs/themes/console/console.css" />
+        <copy file="apps/routerconsole/jsp/default.css" tofile="pkg-temp/docs/themes/console/defCon1/console.css" />
         <mkdir dir="pkg-temp/eepsite" />
         <mkdir dir="pkg-temp/eepsite/webapps" />
         <mkdir dir="pkg-temp/eepsite/logs" />