deleting old folder after move

[geo.git] / edit_wp5_web_folder / geo / point_pol / JSON / doc / media / banner.css

diff --git a/edit_wp5_web_folder/geo/point_pol/JSON/doc/media/banner.css b/edit_wp5_web_folder/geo/point_pol/JSON/doc/media/banner.css
deleted file mode 100644 (file)
index e67227b..0000000
--- a/edit_wp5_web_folder/geo/point_pol/JSON/doc/media/banner.css
+++ /dev/null
@@ -1,32 +0,0 @@
-body \r
-{ \r
-       background-color: #CCCCFF; \r
-       margin: 0px; \r
-       padding: 0px;\r
-}\r
-\r
-/* Banner (top bar) classes */\r
-\r
-.banner {  }\r
-\r
-.banner-menu \r
-{ \r
-       clear: both;\r
-       padding: .5em;\r
-       border-top: 2px solid #6666AA;  \r
-}\r
-\r
-.banner-title \r
-{ \r
-       text-align: right; \r
-       font-size: 20pt; \r
-       font-weight: bold; \r
-       margin: .2em;\r
-}\r
-\r
-.package-selector \r
-{ \r
-       background-color: #AAAADD; \r
-       border: 1px solid black; \r
-       color: yellow;\r
-}\r