UNPKG

graphdb-workbench

Version:
158 lines (128 loc) 2.67 kB
#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 !important; 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 !important; } 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; }