view cpack/dml/web/css/swish-extra.css @ 0:718306e29690 tip

commiting public release

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