From 0937c4b34fe778ecf98e6d552f4ef3f139ee4ec3 Mon Sep 17 00:00:00 2001
From: "john.j.camilleri" <john.j.camilleri@chalmers.se>
Date: Thu, 13 Jun 2013 07:34:16 +0000
Subject: [PATCH] Syntax editor: minor CSS tweak to resemble Minibar more

---
 src/www/syntax-editor/editor.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/www/syntax-editor/editor.css b/src/www/syntax-editor/editor.css
index d1964c306..08eb20849 100644
--- a/src/www/syntax-editor/editor.css
+++ b/src/www/syntax-editor/editor.css
@@ -80,6 +80,8 @@ body.syntax-editor {
   /* display: inline-block; */
   /* margin-left: 0.5em; */
   margin-top: 0.3em;
+  border: 3px solid #e0e0e0;
+  padding: 5px;
   }
 
 #linearisations