.ui-widget-content {
  color: inherit; }

.jquery-ui-minimal-tabs-keith-wood .ui-tabs-panel {
  background: #303030; }

.qtip {
  color: #DFDFDF; }

.qtip {
  border-color: black; }

.keyshortcut {
  color: rosybrown; }

.coloremph {
  color: rosybrown;
  text-decoration: underline; }

a {
  color: cornflowerblue; }

body {
  color: #DFDFDF;
  background-color: #303030; }

#top-fixed-panel {
  background-color: #303030; }

textarea {
  background-color: #F1F1F1; }

input {
  background-color: #F1F1F1; }

input[type=button], button {
  background-color: #CCC; }

select {
  background-color: #F1F1F1; }

.symbol-intro {
  color: bisque; }

.STNodeView, .st-separator {
  border-color: #303030; }

.STNodeView-inner-container {
  border-color: inherit; }

.STInformalNode {
  border-color: #303030; }

.STEmphasizedSubtree, .STEmphasizedNode {
  border-color: #9e5f04; }

.STDemphasizedSubtree {
  color: #777; }

.snode-selected {
  border-color: cornflowerblue; }

.snode-focused {
  border-color: cornflowerblue; }

.STNodeView-id-container {
  color: #303030; }

.STNodeView-id-container:hover {
  color: #DFDFDF; }

.simple-inline-ref.subdued::first-letter {
  border-bottom-color: cornflowerblue; }

.simple-inline-ref.vibrant {
  color: cornflowerblue; }

.simple-inline-ref.cloaked {
  color: #DFDFDF; }

.discrete_note_ref {
  background-color: #717171; }

.highlighted-due-to-ref-in-text {
  /*color: blue;*/
  background-color: #4A4A4A; }

.fa-bars, .fa-pencil, .fa-check, .fa-refresh, .fa-chain-broken, .fa-times {
  color: #777; }

.st-locbutton, .st-zoombutton {
  color: #777; }

.st-go-link {
  color: cornflowerblue; }

.fa-caret-right, .fa-caret-down {
  color: #EDEDED; }

.STNodeView.marked-hovered-node {
  background-color: #363636;
  /* adding a border is way too distracting. deleting that old css. */
  border-color: #363636; }

.NodeStubCancelOption {
  color: red; }

.fg-4ULF-label {
  color: blanchedalmond; }

.fg-4ULF_equip-label {
  color: paleturquoise; }

.fg-PnID-label {
  color: pink; }

#structure-together-keyboard-shortcuts {
  border-color: #DFDFDF;
  background-color: #303030; }

.st-input-group {
  border-color: #CCC; }

.qtip {
  background-color: #505050; }

/*# sourceMappingURL=structure-together-dark-color-theme.css.map */