@import url("navbar.css");
@import url("pane.css");
@import url("tabbed.css");
@import url("editor.css");
@import url("query.css");
@import url("runner.css");
@import url("answer.css");
@import url("term.css");
@import url("gitty.css");
@import url("../node_modules/jquery.splitter/css/jquery.splitter.css");
@import url("../node_modules/bootstrap/dist/css/bootstrap.css");
@import url("../node_modules/tagmanager/tagmanager.css");
@import url("../node_modules/c3/c3.css");
@import url("typeaheadjs.css");
@import url("diffview.css");
@import url("notebook.css");
@import url("types.css");
@import url("modal.css");
@import url("form.css");
@import url("login.css");
@import url("chat.css");
@import url("chatroom.css");
@import url("chatbell.css");
@import url("flash.css");
@import url("sourcelist.css");
@import url("version.css");

/* Logos */

a.pengine-logo {
  position:absolute;
  top:4px;
  left:4px;
  width: 42px;
  height: 42px;
  background-image: url("../icons/logo.png");
  background-size: 42px 42px;
  background-repeat: no-repeat;
  font-family: "roboto";
  font-size:24px;
  font-weight: 400;
  font-style: normal;
  line-height: 24px;
}

/* Text after the logo */
a.pengine-logo::after{
  content:"Prolog Collab on";
  position:absolute;
  left:48px;
  top:50%;
  transform:translateY(-50%);
  white-space:nowrap;
  line-height:1;
  color:#000;
  text-decoration:none;
  pointer-events:none;
  opacity: 0.8;
}

.navbar-brand {
    float: left;
    height: 50px;
    padding: 13px 15px 15px 180px;
    font-size: 26px !important;
    line-height: 26px;
}

.navbar-nav > li > a {
    cursor: pointer;
}


span.run-chk-table {
    margin-right: 10px;
}

/* SWISH "Run!" button */
button.btn.btn-default.btn-primary.btn-xs{
  font-size: 14px !important;
  line-height: 1.2 !important;
  border-radius: 3px !important;
  width: 100px !important;
  padding: 3px 10px !important; /* optional: makes width feel right */
}


.prolog-query-editor div.prolog-prompt {
    top: 11px;
    left: 10px;
    heigth: 100%;
    vertical-align: top;
    font-weight: bold;
}


/* jQuery splitter overrules.
   - z-index is too high for text hover
   - overflow: auto clip menus
*/

.splitter_panel .vsplitter, .splitter_panel .hsplitter {
    z-index: 100;
    border: 2px outset #ccc;
}

.splitter_panel .vsplitter { width: 3px; }
.splitter_panel .hsplitter { height: 3px; }

.splitter_panel .vsplitter, .splitter_panel .left_panel, .splitter_panel .right_panel,
.splitter_panel .hsplitter, .splitter_panel .top_panel, .splitter_panel .bottom_panel {
    overflow: visible;
}

/* Modal */

body .modal-dialog {
  width: 80%;
  max-width: 800px;
  margin-left:auto;
  margin-right:auto;
}

body .modal-dialog.modal-wide {
  width: 90%;
  max-width: none;
}

body .modal-dialog.swish-embedded-manual {
  width: 90%;
  max-width: 1000px;
}

body .modal-dialog.swish-embedded-manual div.modal-body {
  padding: 0px;
}

iframe.swish-embedded-manual {
  width: 100%;
  border: 0px;
}