Daniel@0: /* overrides to swish_min.css */
Daniel@0: body{font-family:"Source Sans Pro","Helvetica Neue",Helvetica,Arial,sans-serif;font-weight:300}
Daniel@0: .CodeMirror{font-family:"Source Code Pro",monospace;font-weight:400;line-height:1.4em;font-size:90%}
Daniel@0: div.prolog-runners{background-image:none}
Daniel@0: div.prolog-runner{border-radius:0px;border:none;margin:4px}
Daniel@0: div.runner-title{border-radius:0px}
Daniel@0: div.prolog-runner:focus div.runner-title{border:1px solid #000}
Daniel@0: div.runner-title>button{text-shadow:none}
Daniel@0: div.render-multi{background-image:none}
Daniel@0: .splitter_panel .hsplitter,.splitter_panel .vsplitter{border:0px solid #ccc; background-color:#bFbFbF}
Daniel@0: .splitter_panel .vsplitter{width:1px}
Daniel@0: .splitter_panel .hsplitter{height:1px}
Daniel@0: .btn { vertical-align:middle }
Daniel@0: .btn-group { vertical-align:middle }
Daniel@0: button,html input[type=button],input[type=reset],input[type=submit]{
Daniel@0: 	-webkit-appearance:none;
Daniel@0: 	background-color:white;
Daniel@0: 	border:1px solid #bbb;
Daniel@0: 	border-radius:4px;
Daniel@0: 	margin-top:2px;
Daniel@0: 	margin-right:2px;
Daniel@0: 	padding-top:0px;
Daniel@0: 	padding-bottom:2px}
Daniel@0: /* .navbar-form .input-group { vertical-align:middle } */
Daniel@0: .navbar-form .form-control { padding-left: 8px; vertical-align:middle }
Daniel@0: /* .input-group-addon, .input-group-btn { vertical-align:middle } */
Daniel@0: .input-group-btn button { margin-top:0px; margin-bottom:0px }
Daniel@0: /* .input-group .twitter-typeahead { vertical-align:middle } */
Daniel@0: .caret{margin-left:3px}
Daniel@0: .btn .caret{margin-left:3px}
Daniel@0: span.pl-blob { 
Daniel@0:    border-radius: 1em;
Daniel@0:    background-color: #444; 
Daniel@0:    font-style: normal;
Daniel@0:    margin: 0.1ex;
Daniel@0:    padding: 0ex .5ex 0.2ex 0.5ex;
Daniel@0:    color:#fff 
Daniel@0: }
Daniel@0: .btn-primary { border-color:#040; background-color:#080 }
Daniel@0: .btn-primary:hover { border-color:#040; background-color:#0a0 }
Daniel@0: nav.navbar { margin-bottom:0px; border-radius:0px }
Daniel@0: span.run-chk-table input { top:auto }
Daniel@0: span.run-chk-table { font-size:12px; font-weight:normal }
Daniel@0: .ui-widget-header { background-image:none }
Daniel@0: table.prolog-answers tr:nth-child(odd) { background:transparent }
Daniel@0: table.prolog-answers tr.projection { border-bottom-width: 1px }
Daniel@0: table.prolog-answers th { text-align:left }
Daniel@0: table.prolog-answers td, table.prolog-answers th { padding:2px 5px}
Daniel@0: div.answer.even, div.answer.odd { background-color:transparent; padding:2px; border-bottom:solid 1px #ddd }
Daniel@0: table.prolog-query .prolog-prompt { width:2.5ex;vertical-align:baseline }
Daniel@0: .render-multi-active { width:0.5em; height:0.5em }