[Minor UI tweaks.
bjorn@bringert.net**20081027123801] {
hunk ./gwt/src/se/chalmers/cs/mosg/client/MosgApp.java 45
-	private void submit() {
-		parse();
-	}
-
+	
hunk ./gwt/src/se/chalmers/cs/mosg/client/MosgApp.java 255
+		suggest.setTitle("Enter a statement or a question");
hunk ./gwt/src/se/chalmers/cs/mosg/client/MosgApp.java 259
-					submit();
+					parse();
hunk ./gwt/src/se/chalmers/cs/mosg/client/MosgApp.java 277
-				submit();
+				parse();
hunk ./gwt/src/se/chalmers/cs/mosg/client/ScrollingDisclosurePanel.java 6
+import com.google.gwt.user.client.ui.DisclosureEvent;
+import com.google.gwt.user.client.ui.DisclosureHandler;
hunk ./gwt/src/se/chalmers/cs/mosg/client/ScrollingDisclosurePanel.java 18
-	public ScrollingDisclosurePanel(String header) {
+	public ScrollingDisclosurePanel(final String header) {
hunk ./gwt/src/se/chalmers/cs/mosg/client/ScrollingDisclosurePanel.java 24
-		DisclosurePanel disclosurePanel = new DisclosurePanel(header, true);
+		final DisclosurePanel disclosurePanel = new DisclosurePanel(header, true);
+		disclosurePanel.getHeader().setTitle("Hide " + header);
hunk ./gwt/src/se/chalmers/cs/mosg/client/ScrollingDisclosurePanel.java 29
+		disclosurePanel.addEventHandler(new DisclosureHandler() {
+			public void onClose(DisclosureEvent e) {
+				disclosurePanel.getHeader().setTitle("Show " + header);
+			}
+			public void onOpen(DisclosureEvent e) {
+				disclosurePanel.getHeader().setTitle("Hide " + header);
+			}
+		});
hunk ./gwt/src/se/chalmers/cs/mosg/public/Mosg.css 1
+body {
+    margin: 0;
+    padding: 5px;    
+}
+
+h1 {
+    text-align: center;
+}
+
hunk ./gwt/src/se/chalmers/cs/mosg/public/Mosg.html 15
-    <title>Mosg</title>
+    <title>Mosg: GF + FOL Semantics</title>
hunk ./gwt/src/se/chalmers/cs/mosg/public/Mosg.html 32
+    <h1>Mosg: GF + FOL Semantics</h1>
+
}