From 2c623139c9a1ab07241f3fec1da419054394f9bc Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Thu, 25 Jun 2015 21:51:52 -0400 Subject: Add some CSS --- main.ur | 63 ++++++++++++++++++++++++++++++++++----------------------------- 1 file changed, 34 insertions(+), 29 deletions(-) (limited to 'main.ur') diff --git a/main.ur b/main.ur index 6478dd1..12fbb9d 100644 --- a/main.ur +++ b/main.ur @@ -55,6 +55,10 @@ fun create_commit title text : transaction unit = dml (INSERT INTO commit (Id, Created, Title, Content) VALUES ({[id]}, {[creation_time]}, {[title]}, {[text]})) +style article_text +style button_group +style top_bar + fun wiki requested_article_title = (* Look up the article. *) article <- current_revision requested_article_title; @@ -72,46 +76,47 @@ fun wiki requested_article_title = then Configuration.wiki_title else article.Title ^ " – " ^ Configuration.wiki_title]} - + + (* Page headings *) -
-

{[Configuration.wiki_title]}

- -
- (* Article *) - {[text]}} />
- (* Editing panel *) -
- (* Controls for View mode *) -
-
+ (* Controls for Edit mode *) +
+
- (* Controls for Edit mode *) + + (* Article *) +
+ (* Editing window *)

-
+ (* Article text (or live preview) *) + {[text]}} />
-- cgit v1.2.3