From 44d1a5a9f71b03d9aceeccd760a63fcdc45f8bad Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Wed, 12 Oct 2011 17:03:54 +0000
Subject: Improvements of "gf -server" mode and related setup

"gf -server" mode now contains everything needed to run the minibar and
the grammar editor (including example-based grammar writing).

The Setup.hs script installs the required files where gf -server can find them.
These files have been moved to a new directory: src/www.

The separate server program pgf-http is now obsolete.
---
 src/runtime/javascript/minibar/minibar.css | 53 ------------------------------
 1 file changed, 53 deletions(-)
 delete mode 100644 src/runtime/javascript/minibar/minibar.css

(limited to 'src/runtime/javascript/minibar/minibar.css')

diff --git a/src/runtime/javascript/minibar/minibar.css b/src/runtime/javascript/minibar/minibar.css
deleted file mode 100644
index 4d2094066..000000000
--- a/src/runtime/javascript/minibar/minibar.css
+++ /dev/null
@@ -1,53 +0,0 @@
-body {
-    background: #ccc url("brushed-metal.png");
-}
-
-h1, h2, h3, small, th { font-family: sans-serif; }
-
-th, td { vertical-align: baseline; text-align: left; }
-
-div#surface {
-    min-height: 3ex;
-    margin: 5px;
-    padding: 5px;
-    border: 3px dashed #e0e0e0;
-}
-
-div#words {
-    min-height: 3ex;
-    margin: 5px;
-    padding: 6px;
-    border: 3px solid #e0e0e0;
-}
-
-div.word, span.word, div#words div, div#words input[type=button] {
-    display: inline-block;
-    font-family: sans-serif;
-    font-size: 100%;
-    background-color: white;
-    border: 1px solid black;
-    padding: 3px;
-    margin: 3px;
-}
-
-.invalid { color: red; }
-
-div.modtime { float: right; }
-.modtime { color: #666; white-space: nowrap; }
-
-ul.space>li { margin-top: 0.75ex; }
-
-div#saldospel input[type=button] { font-size: 100%; }
-
-div#saldospel input.correct { color: green; }
-div#saldospel input.incorrect { color: red; }
-
-#surface input[type=text] { width: 5em; }
-
-.feedback textarea { width: 95%; }
-
-span.field { background-color: #eee; }
-
-pre.feedbacklist { background: white }
-
-img.button { padding: 1px; }
\ No newline at end of file
-- 
cgit v1.2.3