split engine/ into manifold/ (backend oriented) and unfold/ (the UI)

[unfold.git] / engine / css / plugin.css

diff --git a/engine/css/plugin.css b/engine/css/plugin.css
deleted file mode 100644 (file)
index 0c7aaa2..0000000
--- a/engine/css/plugin.css
+++ /dev/null
@@ -1,11 +0,0 @@
-div.plugin-toggle {
-    padding:           10px;
-    border-style:      dotted;
-    border-width:      1px;
-}
-p.plugin-show {
-    cursor: s-resize;
-}
-p.plugin-hide { 
-    cursor: n-resize;
-}