1
0
Fork 0

Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel

This commit is contained in:
Jan Steemann 2012-05-25 17:41:41 +02:00
commit d899bc4e1d
1 changed files with 4 additions and 3 deletions

View File

@ -381,19 +381,20 @@ form {
#queryOutput {
height:60%;
height:35%;
overflow-y: auto;
border: 1px solid black;
background: white;
font-family: "courier";
text-size: 0.7em !important;
resize: vertical !important;
}
#queryContent {
height: 20%;
height: 45%;
font-family: "courier";
width: 100%;
resize: none;
resize: vertical;
}
#avocshWindow {