diff graphics.css @ 937:b5262d076f0b

Merge 'default' and 'Dev_main' branch
author Brecht De Man <BrechtDeMan@users.noreply.github.com>
date Sun, 17 May 2015 18:40:56 +0100
parents
children 375410a5571d
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/graphics.css	Sun May 17 18:40:56 2015 +0100
@@ -0,0 +1,10 @@
+/* graphics.css
+ * Define colours and effects for classes and objects
+ */
+
+div.title {
+	font-size: 2em;
+}
+
+body {
+}