|
Daniel@0
|
1 /* overrides to swish_min.css */
|
|
Daniel@0
|
2 body{font-family:"Source Sans Pro","Helvetica Neue",Helvetica,Arial,sans-serif;font-weight:300}
|
|
Daniel@0
|
3 .CodeMirror{font-family:"Source Code Pro",monospace;font-weight:400;line-height:1.4em;font-size:90%}
|
|
Daniel@0
|
4 div.prolog-runners{background-image:none}
|
|
Daniel@0
|
5 div.prolog-runner{border-radius:0px;border:none;margin:4px}
|
|
Daniel@0
|
6 div.runner-title{border-radius:0px}
|
|
Daniel@0
|
7 div.prolog-runner:focus div.runner-title{border:1px solid #000}
|
|
Daniel@0
|
8 div.runner-title>button{text-shadow:none}
|
|
Daniel@0
|
9 div.render-multi{background-image:none}
|
|
Daniel@0
|
10 .splitter_panel .hsplitter,.splitter_panel .vsplitter{border:0px solid #ccc; background-color:#bFbFbF}
|
|
Daniel@0
|
11 .splitter_panel .vsplitter{width:1px}
|
|
Daniel@0
|
12 .splitter_panel .hsplitter{height:1px}
|
|
Daniel@0
|
13 .btn { vertical-align:middle }
|
|
Daniel@0
|
14 .btn-group { vertical-align:middle }
|
|
Daniel@0
|
15 button,html input[type=button],input[type=reset],input[type=submit]{
|
|
Daniel@0
|
16 -webkit-appearance:none;
|
|
Daniel@0
|
17 background-color:white;
|
|
Daniel@0
|
18 border:1px solid #bbb;
|
|
Daniel@0
|
19 border-radius:4px;
|
|
Daniel@0
|
20 margin-top:2px;
|
|
Daniel@0
|
21 margin-right:2px;
|
|
Daniel@0
|
22 padding-top:0px;
|
|
Daniel@0
|
23 padding-bottom:2px}
|
|
Daniel@0
|
24 /* .navbar-form .input-group { vertical-align:middle } */
|
|
Daniel@0
|
25 .navbar-form .form-control { padding-left: 8px; vertical-align:middle }
|
|
Daniel@0
|
26 /* .input-group-addon, .input-group-btn { vertical-align:middle } */
|
|
Daniel@0
|
27 .input-group-btn button { margin-top:0px; margin-bottom:0px }
|
|
Daniel@0
|
28 /* .input-group .twitter-typeahead { vertical-align:middle } */
|
|
Daniel@0
|
29 .caret{margin-left:3px}
|
|
Daniel@0
|
30 .btn .caret{margin-left:3px}
|
|
Daniel@0
|
31 span.pl-blob {
|
|
Daniel@0
|
32 border-radius: 1em;
|
|
Daniel@0
|
33 background-color: #444;
|
|
Daniel@0
|
34 font-style: normal;
|
|
Daniel@0
|
35 margin: 0.1ex;
|
|
Daniel@0
|
36 padding: 0ex .5ex 0.2ex 0.5ex;
|
|
Daniel@0
|
37 color:#fff
|
|
Daniel@0
|
38 }
|
|
Daniel@0
|
39 .btn-primary { border-color:#040; background-color:#080 }
|
|
Daniel@0
|
40 .btn-primary:hover { border-color:#040; background-color:#0a0 }
|
|
Daniel@0
|
41 nav.navbar { margin-bottom:0px; border-radius:0px }
|
|
Daniel@0
|
42 span.run-chk-table input { top:auto }
|
|
Daniel@0
|
43 span.run-chk-table { font-size:12px; font-weight:normal }
|
|
Daniel@0
|
44 .ui-widget-header { background-image:none }
|
|
Daniel@0
|
45 table.prolog-answers tr:nth-child(odd) { background:transparent }
|
|
Daniel@0
|
46 table.prolog-answers tr.projection { border-bottom-width: 1px }
|
|
Daniel@0
|
47 table.prolog-answers th { text-align:left }
|
|
Daniel@0
|
48 table.prolog-answers td, table.prolog-answers th { padding:2px 5px}
|
|
Daniel@0
|
49 div.answer.even, div.answer.odd { background-color:transparent; padding:2px; border-bottom:solid 1px #ddd }
|
|
Daniel@0
|
50 table.prolog-query .prolog-prompt { width:2.5ex;vertical-align:baseline }
|
|
Daniel@0
|
51 .render-multi-active { width:0.5em; height:0.5em }
|
