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

commiting public release

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/cpack/dml/web/css/swish-extra.css	Tue Feb 09 21:05:06 2016 +0100
@@ -0,0 +1,51 @@
+/* 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 }