diff --git a/html/admin/css/layout.css b/html/admin/css/layout.css index 076f89d991..6d0dd773cf 100644 --- a/html/admin/css/layout.css +++ b/html/admin/css/layout.css @@ -1,3 +1,5 @@ + + .jediTextarea textarea { border: solid 1px #525252; background-color: #F3F1EE; @@ -395,14 +397,14 @@ form { } #formatJSONyesno { - margin-top: -40px; + margin-top: -50px; float:right; margin-right: 120px; color: #797979; } #aqlinfo { - line-height: 150%; + line-height: 250%; } #submitQuery { @@ -411,18 +413,25 @@ form { } #refreshShell{ padding-bottom: 3px; - margin-top: -10px; + margin-top: -6px; width: 9.5% !important; } #queryOutput a, .queryError, .querySuccess { font-size: 0.9em !important; - font-family: "courier"; + font-family: "courier"; + padding-left: 10px; + padding-top: 10px !important; } +#queryOutput pre { + padding-left: 10px; + padding-top: 10px; +} #queryOutput { height:35%; + padding-top: 10px; overflow-y: auto; border: 1px solid black; background: white; @@ -435,7 +444,9 @@ form { height: 45%; font-family: "courier"; width: 100%; - resize: vertical; + resize: vertical; + padding-top: 10px; + padding-left: 10px; } #avocshWindow { @@ -674,6 +685,11 @@ form { #logTableID_info { } +#logTableID, #warnLogTableID, #critLogTableID, #infoLogTableID, #debugLogTableID { + border-left: 1px solid #AAAAAA; + border-right: 1px solid #AAAAAA; +} + .ui-dialog { height:100px; font-size: 0.8em; @@ -777,9 +793,9 @@ form { #avocshView button, #queryView button, #tab_right button, #footerSlideContent button, form.jediTextarea > button { background: #e3e3e3; border: 1px solid #bbb; - -webkit-border-radius: 3px; - -moz-border-radius: 3px; - border-radius: 3px; + -webkit-border-radius: 1px; + -moz-border-radius: 1px; + border-radius: 1px; -webkit-box-shadow: inset 0 0 1px 1px #f6f6f6; -moz-box-shadow: inset 0 0 1px 1px #f6f6f6; box-shadow: inset 0 0 1px 1px #f6f6f6; @@ -813,3 +829,42 @@ form { #iInfo { font-size: 0.8em; } + +#shellInfo { + line-height: 200%; +} + +#formatJSONyesno { + padding-top: 5px !important +} + +@media screen + and (-webkit-min-device-pixel-ratio:0) +{ + #submitAvoc { + padding-top: 4px !important; + height: 30px !important; + } + + #refreshShell { + margin-top: -4px !important; + margin-right: 2px !important; + } + + #refrehShellTextRefresh { + line-height:230% !important; + } + + #formatshellJSONyesno { + padding-top: 5px; + } +} + +.leftCell { + border-left: 1px solid #AAAAAA !important; +} + +.rightCell { + border-right: 1px solid #AAAAAA !important; +} + diff --git a/html/admin/index.html b/html/admin/index.html index 4199fbef78..7b06797df4 100644 --- a/html/admin/index.html +++ b/html/admin/index.html @@ -50,7 +50,7 @@ - + @@ -410,25 +410,25 @@
- +
Format JSON? yes no
- ArangoDB Shell - click for more information + ArangoDB Shell - click for more information