2020-10-08 13:47:26 +02:00
|
|
|
#query_result_container {
|
2020-05-29 13:07:53 +02:00
|
|
|
display: flex;
|
|
|
|
|
}
|
|
|
|
|
|
2020-10-08 13:47:26 +02:00
|
|
|
.query_result_editor_container {
|
2023-09-13 15:19:42 +02:00
|
|
|
width: 40%;
|
2020-05-29 13:07:53 +02:00
|
|
|
}
|
|
|
|
|
|
2020-10-08 13:47:26 +02:00
|
|
|
.query_result_editor_container p {
|
2020-05-29 13:07:53 +02:00
|
|
|
padding-left: 40px;
|
|
|
|
|
font-size: medium;
|
|
|
|
|
margin-top: 5px;
|
|
|
|
|
margin-bottom: 5px;
|
|
|
|
|
}
|
|
|
|
|
|
2020-10-08 13:47:26 +02:00
|
|
|
.query_result_editor {
|
2020-05-29 13:07:53 +02:00
|
|
|
width: 100%;
|
|
|
|
|
height: 65em;
|
|
|
|
|
border-top: 1px solid #e2e2e2;
|
|
|
|
|
border-right: 1px solid #e2e2e2;
|
|
|
|
|
border-bottom: 1px solid #e2e2e2;
|
|
|
|
|
-moz-border-radius: 4px;
|
|
|
|
|
-webkit-border-radius: 4px;
|
|
|
|
|
border-radius: 4px;
|
2021-07-07 12:58:08 +02:00
|
|
|
font-family: monospace;
|
2020-05-29 13:07:53 +02:00
|
|
|
}
|
|
|
|
|
|
2020-10-08 13:47:26 +02:00
|
|
|
.query_result_view_container {
|
2023-09-13 15:19:42 +02:00
|
|
|
width: 60%;
|
2020-05-29 13:07:53 +02:00
|
|
|
margin-left: 30px;
|
|
|
|
|
}
|
|
|
|
|
|
2020-10-08 13:47:26 +02:00
|
|
|
.query_result_view_container p {
|
2020-05-29 13:07:53 +02:00
|
|
|
padding-left: 40px;
|
|
|
|
|
font-size: medium;
|
|
|
|
|
margin-top: 5px;
|
|
|
|
|
margin-bottom: 5px;
|
|
|
|
|
}
|
|
|
|
|
|
2020-10-08 13:47:26 +02:00
|
|
|
.query_result_view {
|
2020-05-29 13:07:53 +02:00
|
|
|
min-height: 65em;
|
|
|
|
|
border-top: 1px solid #e2e2e2;
|
|
|
|
|
border-left: 1px solid #e2e2e2;
|
|
|
|
|
border-bottom: 1px solid #e2e2e2;
|
|
|
|
|
-moz-border-radius: 4px;
|
|
|
|
|
-webkit-border-radius: 4px;
|
|
|
|
|
border-radius: 4px;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.edit-button {
|
|
|
|
|
margin-top: 10px;
|
|
|
|
|
margin-bottom: 10px;
|
|
|
|
|
}
|
2023-09-13 15:19:42 +02:00
|
|
|
|
|
|
|
|
.ace_editor,
|
|
|
|
|
.ace_editor * {
|
|
|
|
|
font-family: "Monaco", "Menlo", "Ubuntu Mono", "Droid Sans Mono", "Consolas",
|
|
|
|
|
monospace !important;
|
|
|
|
|
font-size: 14px !important;
|
|
|
|
|
font-weight: 400 !important;
|
|
|
|
|
letter-spacing: 0 !important;
|
|
|
|
|
}
|
