graphdb-workbench
Version:
The web application for GraphDB APIs
158 lines (128 loc) • 2.67 kB
CSS
#yasqe_buttons #checkboxes .checkbox {
display: inline;
white-space: nowrap;
}
#yasqe_buttons #buttons {
position:absolute;
top: 0;
right: 0;
padding-bottom: 10px;
}
#queryEditor {
position: relative;
}
#queryEditor #runButton {
position:absolute;
bottom: 20px;
right: 20px;
z-index: 10;
}
#queryEditor #checkboxes {
position:absolute;
bottom: -25px;
right: 0;
z-index: 10;
}
#queryEditor #yasqe_buttons {
position: absolute;
top: 10px;
right: 10px;
z-index: 10;
}
#queryEditor .CodeMirror-code {
width: 89%;
}
/* icons in the editor that form the toolbar */
#yasqe_buttons #buttons .fa-2x {
display: block;
padding: 5px;
cursor: pointer;
opacity: 0.7;
}
/* the icons in the queries submenu */
.queries .fa {
opacity: 0.7;
}
#yasqe_buttons #checkboxes .checkbox input {
float: none;
}
.nav li:not(.active) {
cursor: pointer;
}
#wb-sparql-queryInSampleQueries{
max-height: 170px;
overflow-y: auto;
}
.CodeMirror {
border: 1px solid #ddd;
border-top: none;
font-family: Menlo, Consolas, "Ubuntu Mono", monospace ;
background: #fff;
}
.CodeMirror pre, .CodeMirror-gutter-text {
line-height: 130%;
}
.collapsing.width {
height: 150px;
-webkit-transition: width 0.35s ease;
-moz-transition: width 0.35s ease;
-o-transition: width 0.35s ease;
transition: width 0.35s ease;
}
.editable-empty, .editable-empty:hover, .editable-empty:focus, a.editable-empty, a.editable-empty:hover, a.editable-empty:focus {
font-style: normal;
}
.hotkeys-container.fade.in {
z-index: 10092;
}
a i.fa-times {
color: #a3a3a3
}
.fa-times:focus, .fa-times:hover {
color: #018ae1;
}
/*** inference checkbox with Font Awesome ***/
/* hide the checkbox */
input#inference {
display:none ;
}
input#inference + label {
letter-spacing: -0.3em;
}
input#inference:not(:checked) + label i:last-child {
/* use color instead, works better on IE */
color: #888888;
/* opacity: 0.5; */ /* this is multiplied to label's opacity of 0.7 */
}
a[aria-expanded = true].query-has-error span {
color: red;
border-bottom: dotted 2px red;
}
.pagination {
margin: 5px 0 5px 6px;
}
.opacity-hide {
opacity: 0
}
#hideEditor {
position: relative;
top: -6px;
left: -6px;
}
.titleLine h3 {
margin-top: 4px;
margin-bottom: 4px;
}
.autocomplete-toast a, .autocomplete-toast a:hover {
color: #fff;
}
.plaintext {
white-space: pre-wrap;
}
.qe-aborter {
position: relative;
}
.qe-aborter > div {
position: absolute;
right: 0;
}