From 3d0dc82f9d1a1fbb881cae802fecfe19b411b623 Mon Sep 17 00:00:00 2001 From: Heiko Kernbach Date: Fri, 15 Jun 2012 11:09:09 +0200 Subject: [PATCH] ui changes --- html/admin/css/layout.css | 1 + html/admin/index.html | 8 ++++---- html/admin/js/master.js | 6 +++--- 3 files changed, 8 insertions(+), 7 deletions(-) diff --git a/html/admin/css/layout.css b/html/admin/css/layout.css index a28b00a587..233b84920d 100644 --- a/html/admin/css/layout.css +++ b/html/admin/css/layout.css @@ -353,6 +353,7 @@ form { } #formatshellJSONyesno { + font-weight:0.8em; float:right; padding-right:10px; margin-top: -3px; diff --git a/html/admin/index.html b/html/admin/index.html index e57f9a066d..7ae536d6c4 100644 --- a/html/admin/index.html +++ b/html/admin/index.html @@ -398,12 +398,12 @@ -
+ Format JSON? yes no
- ArangoDB Shell - click for more information + ArangoDB Shell - click for more information