pre {
  display: inline;
  margin-bottom: 0;
  margin-top: 0; }

.overline {
  text-decoration: overline; }

.user-acceptance {
  position: absolute;
  right: 0px; }

.st-content-editable {
  display: inline;
  min-width: .1em; }

#left-sidebar-buttons {
  position: fixed;
  bottom: 50%;
  left: 0px; }

#bottom_fixed_pos_buttons_bar {
  position: fixed;
  bottom: 0px;
  left: 0px;
  z-index: 15000; }

#top-fixed-panel {
  position: fixed;
  top: 0px;
  right: 0px;
  z-index: 15000; }

.top-controls {
  text-align: right; }

.STNodeView {
  /*li*/
  border: thin; }

.STNodeView.no-children, .STNodeView.children-collapsed {
  /*li*/
  margin-bottom: 0px; }

input {
  -webkit-border-radius: 5px;
  -moz-border-radius: 5px;
  -ms-border-radius: 5px;
  border-radius: 5px; }

button {
  -webkit-border-radius: 5px;
  -moz-border-radius: 5px;
  -ms-border-radius: 5px;
  border-radius: 5px;
  padding-left: 3px;
  padding-right: 3px; }

.show-all-or-one-button {
  margin-left: 5px; }

.andimplies-first-inner-line {
  margin-left: 45px; }

.andimplies-middle-inner-lines {
  margin-left: 20px; }

.andimplies-last-inner-line {
  margin-left: 30px; }

.proofsocial-test-button-container {
  margin: 5px; }

#st-bottom-right-corner, #st-bottom-right-buttons {
  min-width: 80px;
  position: fixed;
  bottom: 0;
  right: 0;
  display: float; }

#structure-together-keyboard-shortcuts {
  padding: .5em;
  border: solid;
  border-radius: .5em;
  max-width: 70%;
  float: right; }

#structure-together-user-mode, #structure-together-keyboard-shortcuts-button, #st-bottom-right-corner, #structure-together-keyboard-shortcuts {
  z-index: 999999; }

#structure-together-next-prev-buttons {
  min-width: 80px;
  position: fixed;
  bottom: 0;
  left: 0; }

#undo-redo-buttons {
  margin-right: 15px; }

.HideablePropertyPanel-button {
  /*padding: 5px;*/
  margin-left: 10px; }

.st-mutid-contenteditable-sep {
  margin-right: 5px; }

.fa-bars, .fa-refresh, .fa-chain-broken {
  margin-left: 5px; }

.fa-chevron-left, .fa-chevron-right {
  margin-left: 3px;
  margin-right: 3px; }

.hardcoded_text {
  font-style: italic; }

.symbol-occurrence {
  font-style: italic; }

.symbol-intro {
  font-style: italic; }

.nodeview-without-children-and-panel {
  display: inline-flex; }

.nodeview-without-children-and-panel.ancestor_of_filtered_in {
  display: none; }

.STNodeView-inner-container {
  display: inline-block;
  vertical-align: top;
  border: solid;
  box-sizing: border-box;
  border-width: 0.3em;
  border-radius: .5em; }

.STInformalNode {
  border-style: dashed; }

.STopNodeView {
  display: inline-block; }

.stdoc-title {
  display: inline-block; }

.stdoc-title.ancestor_of_filtered_in {
  display: none; }

.STEmphasizedSubtree, .STEmphasizedNode {
  border-style: solid;
  border-width: .17em;
  margin: 0.13em;
  border-radius: .5em; }

.snode-selected {
  border: solid;
  box-sizing: border-box;
  border-width: 0.3em; }

.snode-focused {
  border: solid;
  box-sizing: border-box;
  border-width: 0.3em;
  margin: 0; }

.STNodeView-id-container {
  margin-left: 5px; }

.STNodeView-id-container:hover {
  margin-left: 5px; }

.drop-first-child {
  display: none; }

.contextmenu-item-warn {
  text-decoration: line-through; }

.EditableStringPropView {
  width: 500px;
  font: inherit; }

.ImmutableStringPropView {
  font: inherit; }

.PropLabel {
  margin-right: 5px; }

.fa-caret-right, .fa-caret-down {
  /*margin-top: 2px;*/
  margin-left: 3px; }

.STNodeView.no-children {
  /*li*/
  list-style-type: disc; }

.no-li-marker, .STNodeView.with-children {
  /*.STNodeView li*/
  list-style-type: none; }

.NodeStubOption {
  margin-left: 5px;
  margin-right: 5px; }

.NodeStubCancelOption {
  margin-left: 5px; }

/* override some stuff form jquery.qtip.css */
.qtip {
  font-size: 100%;
  line-height: inherit;
  z-index: 500;
  max-width: 50%; }

/* Thanks to http://keith-wood.name/uitabs.html*/
/* Override default jquery-ui tabs */
.jquery-ui-minimal-tabs-keith-wood {
  background: transparent;
  border: none;
  -webkit-border-radius: 5px;
  -moz-border-radius: 5px;
  -ms-border-radius: 5px;
  border-radius: 5px; }

.jquery-ui-minimal-tabs-keith-wood .ui-tabs-panel {
  -webkit-border-radius: 5px;
  -moz-border-radius: 5px;
  -ms-border-radius: 5px;
  border-radius: 5px; }

.jquery-ui-minimal-tabs-keith-wood .ui-widget-header {
  background: transparent;
  border: none;
  border-bottom: 1px solid #c0c0c0;
  -webkit-border-radius: 5px;
  -moz-border-radius: 5px;
  -ms-border-radius: 5px;
  border-radius: 5px; }

.jquery-ui-minimal-tabs-keith-wood .ui-tabs-nav .ui-state-default {
  background: transparent;
  border: none; }

.jquery-ui-minimal-tabs-keith-wood .ui-tabs-nav .ui-state-active {
  background: transparent url(img/uiTabsArrow.png) no-repeat bottom center;
  border: none; }

.jquery-ui-minimal-tabs-keith-wood .ui-tabs-nav .ui-state-default a {
  color: #c0c0c0; }

.jquery-ui-minimal-tabs-keith-wood .ui-tabs-nav .ui-state-active a {
  color: #459e00; }

.hidden-node, .filtered-out {
  display: none; }

.paragraph-continuation {
  margin-top: -.5em; }

.simple-inline-ref.subdued {
  display: inline-block; }

.simple-inline-ref.subdued::first-letter {
  border-bottom: outset;
  border-top: none;
  border-left: none;
  border-right: none; }

.simple-inline-ref.cloaked {
  font-style: italic; }

.strikeout {
  text-decoration: line-through; }

.data-table {
  border-collapse: collapse;
  border-spacing: 0; }

.data-table td {
  font-family: Arial, sans-serif;
  font-size: 14px;
  padding: 10px 5px;
  border-style: solid;
  border-width: 1px;
  overflow: hidden;
  word-break: normal; }

.data-table th {
  font-family: Arial, sans-serif;
  font-size: 14px;
  font-weight: normal;
  padding: 10px 5px;
  border-style: solid;
  border-width: 1px;
  overflow: hidden;
  word-break: normal; }

/* TEMP */
.minimal-select {
  /*background: transparent;*/
  background: inherit;
  padding: 0px;
  color: inherit;
  font: inherit;
  line-height: 1;
  border: 0;
  border-radius: 0;
  -webkit-appearance: none; }

.st-input-group {
  border-style: none; }

/*.dwReactTooltip {*/
/*max-width: 50%;*/
/*width: 400px;*/
/*}*/
/*.children-show-hide-trigger {*/
/*margin-top: .1em;*/
/*}*/
/*.children-show-hide-trigger {*/
/*!*list-style-type: none;*!*/
/*!*margin-left: -1.2em; !* shifts first line of node html_name left by a bit, so lines up with second line *!*!*/
/*padding-right: .5em; !* space between the li marker and the li contents *!*/
/*}*/
/*img.children-show-hide-trigger {*/
/*list-style-type: none;*/
/*margin-left: -1em;*/
/*padding-right: .5em;*/
/*}*/
/*img.li-marker-when-children-shown {*/
/*content:url("collapseIcon.png");*/
/*}*/
/*img.li-marker-when-children-hidden {*/
/*content:url("expandIcon.gif");*/
/*}*/
/*#NotifierOverlayAlert*/
/*{*/
/*background-color: rgba(39, 48, 220, 1);*/
/*color: #FFF;*/
/*text-align: center;*/
/*}*/
/*#NotifierOverlayAlert.messageTypeError*/
/*{*/
/*background-color: rgba(220, 48, 39, 1);*/
/*}*/
/*#NotifierOverlayAlert.messageTypeSuccess*/
/*{*/
/*background-color: rgba(0, 0, 0, 1);*/
/*}*/
/*.NodeAlwaysShownPart:hover {*/
/*background: #b8d1f3;*/
/*}*/
/*.myButton {*/
/*-moz-box-shadow:inset 0px 1px 0px 0px #ffffff;*/
/*-webkit-box-shadow:inset 0px 1px 0px 0px #ffffff;*/
/*box-shadow:inset 0px 1px 0px 0px #ffffff;*/
/*background:-webkit-gradient(linear, left top, left bottom, color-stop(0.05, #ededed), color-stop(1, #dfdfdf));*/
/*background:-moz-linear-gradient(top, #ededed 5%, #dfdfdf 100%);*/
/*background:-webkit-linear-gradient(top, #ededed 5%, #dfdfdf 100%);*/
/*background:-o-linear-gradient(top, #ededed 5%, #dfdfdf 100%);*/
/*background:-ms-linear-gradient(top, #ededed 5%, #dfdfdf 100%);*/
/*background:linear-gradient(to bottom, #ededed 5%, #dfdfdf 100%);*/
/*filter:progid:DXImageTransform.Microsoft.gradient(startColorstr='#ededed', endColorstr='#dfdfdf',GradientType=0);*/
/*background-color:#ededed;*/
/*-moz-border-radius:6px;*/
/*-webkit-border-radius:6px;*/
/*border-radius:6px;*/
/*border:1px solid #dcdcdc;*/
/*html_name:inline-block;*/
/*cursor:pointer;*/
/*color:#777777;*/
/*font-family:Arial;*/
/*font-size:15px;*/
/*font-weight:bold;*/
/*padding:6px 24px;*/
/*text-decoration:none;*/
/*text-shadow:0px 1px 0px #ffffff;*/
/*}*/
/*.myButton:hover {*/
/*background:-webkit-gradient(linear, left top, left bottom, color-stop(0.05, #dfdfdf), color-stop(1, #ededed));*/
/*background:-moz-linear-gradient(top, #dfdfdf 5%, #ededed 100%);*/
/*background:-webkit-linear-gradient(top, #dfdfdf 5%, #ededed 100%);*/
/*background:-o-linear-gradient(top, #dfdfdf 5%, #ededed 100%);*/
/*background:-ms-linear-gradient(top, #dfdfdf 5%, #ededed 100%);*/
/*background:linear-gradient(to bottom, #dfdfdf 5%, #ededed 100%);*/
/*filter:progid:DXImageTransform.Microsoft.gradient(startColorstr='#dfdfdf', endColorstr='#ededed',GradientType=0);*/
/*background-color:#dfdfdf;*/
/*}*/
/*.myButton:active {*/
/*position:relative;*/
/*top:1px;*/
/*}*/
/*.with-thin-border {*/
/*border-color: lightgray;*/
/*border-style: solid;*/
/*border-width: 1px;*/
/*}*/
/*.STNodeView-inner-container {*/
/*border: none;*/
/*box-sizing: inherit;*/
/*!*html_name: table;*!*/
/*!*list-style-image: none;*!*/
/*!*margin: 2px;   what does this abbreviate?*!*/
/*!*margin-top: 3px; !* more vertical space between node-views *!*!*/
/*!*margin-bottom: 3px;*!*/
/*}*/
/* .STNodeView-inner-container didn't work out because of something to do with <span> spanning multiple lines */
/* AND/OR the drop first child button */
/*.STNodeView-inner-container.marked-hovered-node {*/
/*.no-children-yet-drop-area:hover {*/
/*color: black;*/
/*background-color: darkseagreen;*/
/*margin-left: 5px;*/
/*!*html_name: inline-block;*!*/
/*}*/
/*.edit-icons {*/
/*html_name: none;*/
/*}*/
/*.edit-icons:hover {*/
/*html_name: inline-block;*/
/*}*/
/*.STNodeView:hover {*/
/*border-color: lightgray;*/
/*border-style: solid;*/
/*border-width: 1px;*/
/*}*/

/*# sourceMappingURL=structure-together.css.map */