/* THIS FILE IS AUTOGENERATED BY gen_page !!! Edit the files in static/page instead. */

@font-face {
  font-family: droid-sans-mono;
  font-style: normal;
  font-weight: normal;
  src: local("Droid Sans Mono"), local("DroidSansMono"), url('fonts/droid/DroidSansMono.ttf') format("truetype"); }

#salvus-help {
  margin-top: 1em; }

.salvus-help-answer {
  margin-top: 2em;
  padding: 2ex;
  border: 1px solid #aaa;
  background-color: white;
  border-radius: 3px;
  box-shadow: 2px 2px 1px #bbb; }

.salvus-help-list {
  margin-top: 0.7ex; }

.salvus-a {
  color: #08c; }

.salvus-completions {
  background: lightyellow;
  position: absolute;
  z-index: 999;
  overflow: hidden;
  box-shadow: 8px 8px 4px #bbb;
  border: 3px solid #99f;
  border-radius: 5px; }
  .salvus-completions select {
    background: lightyellow;
    outline: none;
    border: none;
    padding: 3px;
    margin: 3px;
    font-family: monospace; }

.salvus-codemirror-introspect-content-source-code {
  white-space: pre;
  font-family: monospace;
  padding: 1ex;
  overflow: auto; }

.salvus-codemirror-introspect-content-docstring {
  white-space: pre;
  font-family: monospace;
  overflow: auto;
  margin-left: 2em;
  margin-right: 2em; }

.nav-tabs > .disabled > a, .nav-pills > .disabled > a {
  color: #999;
  cursor: pointer;
  border: none; }

.nav-tabs > .disabled > a:hover, .nav-pills > .disabled > a:hover {
  background-color: transparent; }

.special {
  color: #f00; }

.salvus-console {
  background-color: #eaeaea;
  padding: 0px;
  margin: 0px;
  width: 100%;
  border: 0px solid black; }

.salvus-console-topbar {
  padding: 0px;
  margin: 0px;
  overflow: hidden; }

.salvus-console-filename {
  padding: 10px;
  font-weight: bold;
  color: #555;
  padding-top: 4px;
  padding-bottom: 0; }

.salvus-console-title {
  padding: 10px;
  font-weight: bold;
  overflow: hidden;
  color: #555;
  max-width: 40%;
  max-height: 1.5em;
  padding-top: 4px;
  padding-bottom: 0; }

.salvus-console-description {
  color: #888; }

.salvus-console-for-mobile {
  position: absolute;
  opacity: 0;
  color: #fff; }

.salvus-console-terminal {
  /* font-family: Courier, "Courier New", monospace; */
  font-family: droid-sans-mono;
  /* really set in console.coffee, overriding this! */
  padding: 1ex;
  margin: 0px;
  white-space: nowrap;
  /* critical at least for firefox and IE */ }

.salvus-console-scrollbar {
  position: absolute;
  right: 0;
  width: 10px;
  border: none;
  overflow-x: hidden;
  overflow-y: scroll; }

.salvus-console-cursor-blur {
  border: 1px solid grey;
  border-radius: 3px; }

.salvus-console-cursor-focus {
  -webkit-animation: salvus-cursor-blink 1.3s linear 0s infinite;
  -moz-animation: salvus-cursor-blink 1.3s linear 0s infinite;
  -ms-animation: salvus-cursor-blink 1.3s linear 0s infinite;
  -o-animation: salvus-cursor-blink 1.3s linear 0s infinite;
  background: #000;
  color: #fff;
  /* Fallback for browsers without animation support */ }

@-webkit-keyframes salvus-cursor-blink {
  0%, 40% {
    background: #000;
    color: #fff; }

  50%, 90% {
    background: #fff;
    color: #000; } }

@-moz-keyframes salvus-cursor-blink {
  0%, 40% {
    background: #000;
    color: #fff; }

  50%, 90% {
    background: #fff;
    color: #000; } }

@-ms-keyframes salvus-cursor-blink {
  0%, 40% {
    background: #000;
    color: #fff; }

  50%, 90% {
    background: #fff;
    color: #000; } }

@-o-keyframes salvus-cursor-blink {
  0%, 40% {
    background: #000;
    color: #fff; }

  50%, 90% {
    background: #fff;
    color: #000; } }

.salvus-console-textarea {
  height: 0px;
  width: 0px;
  border: 0px solid white;
  opacity: 0;
  position: fixed;
  /*
   *  height:15px; width: 50px; border: 1px solid red;
   */ }

.salvus-console-focus {
  background-color: #ffffe8; }

.salvus-console-blur {
  background-color: #ccc; }

.popover-create-account {
  width: 200px;
  background-color: #ff0077;
  opacity: 0.5; }

.account-error-text {
  color: #ff0000; }

.salvus_client_warning {
  position: fixed;
  left: 12px;
  background-color: #f00;
  color: white;
  color: white;
  top: 20px;
  opacity: 0.75;
  border-radius: 4px;
  padding: 5px;
  z-index: 1;
  box-shadow: 8px 8px 4px #888;
  cursor: arrow; }

.salvus-remember_me-message {
  font-size: 16pt; }

@media (min-width: 768px) {
  div[id^="account-settings-"].well {
    margin-left: 10px;
    margin-right: 10px;
    width: 45.8333%;
    width: calc(50% - 21px); }
 }

#link-terms {
  top: 0; }

.salvus-landing-icon {
  font-size: 16pt;
  width: 1.5em;
  margin-top: 7px;
  color: #002E9F; }

/* activity.css  */
.salvus-notification-indicator {
  position: relative;
  top: 4px;
  font-size: 17pt;
  color: #666;
  cursor: pointer;
  margin-right: 6px; }
  .salvus-notification-indicator:hover {
    color: #222; }

.salvus-notification-unseen-count {
  font-size: 8pt;
  color: red;
  position: absolute;
  left: 8px;
  top: 8px;
  font-weight: bold;
  background: white; }

.salvus-notification-list {
  width: 40%;
  z-index: 10;
  margin-left: 0px;
  position: fixed;
  box-shadow: 0px 0px 7px #aaa;
  border: 2px solid #ccc;
  top: 43px;
  background: white;
  right: 2em;
  overflow-y: auto;
  overflow-x: hidden;
  font-size: 10pt;
  padding: 4px; }

@media (max-width: 767px) {
  .salvus-notification-list {
    width: 75%; }
 }

.salvus-notification-list-body {
  cursor: pointer; }

.salvus-notification {
  width: 100%;
  overflow: hidden;
  border-bottom: 1px solid #ddd;
  margin: 0;
  height: 5em;
  background: #f4f4f4;
  padding-left: 1em;
  padding-right: 1em;
  padding-top: 1ex; }
  .salvus-notification:hover {
    background: #fcfcfc; }

.salvus-notification-read {
  background: #fefefe; }

.salvus-notification-action-icon {
  font-size: 16pt;
  color: #888; }

.salvus-notification-action-icon-comment {
  color: darkred; }

.salvus-notification-path-icon {
  font-size: 16pt;
  color: #888;
  margin-left: -1ex; }

.salvus-notification-list-loading, .salvus-notification-list-none {
  margin: 1em; }

.salvus-notification-desc {
  max-height: 3em;
  overflow: hidden; }

.salvus-notification-commented {
  color: darkred;
  font-weight: bold; }

#projects {
  margin-top: 1em; }

.your-projects-title {
  font-size: 18pt;
  font-weight: bold;
  line-height: 18pt; }

.project-link {
  background-color: #ffffff;
  margin-top: 0px;
  margin-bottom: 0px;
  padding-top: 1.5em;
  padding-bottom: 1.5em;
  padding-left: 1em;
  cursor: pointer; }
  .project-link:hover {
    background-color: #efe; }

.projects-title {
  font-weight: bold;
  max-height: 7em;
  overflow-y: auto; }

.projects-last_edited, .projects-description {
  color: #666;
  max-height: 7em;
  overflow-y: auto; }

.projects-active {
  color: red;
  font-size: 13pt; }

.project-file-top-current-path-container {
  width: 100%; }

.projects-describe-listing {
  margin-bottom: 1ex;
  margin-top: 1ex;
  font-weight: bold;
  font-size: 15pt; }

.projects-users {
  margin-left: 0px;
  max-height: 7em;
  overflow-y: auto; }

.projects-project_list_item_template {
  word-wrap: break-word; }

.salvus-project {
  padding-top: 0;
  margin-top: 0;
  top: 43px;
  width: 100%; }

.first-entry {
  background-color: #08c; }
  .first-entry * {
    color: #fff !important;
    background-color: #08c; }

.project-activity-well {
  background-color: white; }

.project-activity-log {
  overflow-y: auto;
  word-wrap: break-word; }

.project-activity-entry {
  border-bottom: 1px solid #bbb;
  padding: 1ex 0 1ex 1ex; }

.project-activity-type-button:focus {
  outline: 0; }

.project-disk_usage {
  background-color: white; }
  .project-disk_usage li {
    margin-bottom: 3px; }
  .project-disk_usage div {
    display: inline-block;
    min-width: 10px;
    padding: 3px; }

.project-settings-well {
  background-color: white; }

.project-add-linked-project-input {
  width: 95%;
  margin-bottom: 1ex !important; }

.project-add-linked-project-select {
  width: 100%; }

.project-file-listing-container {
  /* overflow-y: auto;
   *overflow-x: hidden;
   */ }

.project-file-listing, .project-new-file, .project-activity, .project-settings, .project-search {
  clear: both; }

.project-connections {
  line-height: 2.2em;
  max-height: 13em;
  overflow-y: auto;
  background-color: #eee;
  margin-left: 3%;
  margin-top: 1em;
  margin-bottom: 0px;
  width: 94%; }

.project-file-listing {
  margin-top: 10px; }

.project-file-listing-current_path {
  margin-top: 12px;
  margin-bottom: 12px; }

.project-file-top-current-path-display {
  font-size: 14px;
  top: 78px;
  position: absolute;
  left: 10px; }

.project-file-tools {
  margin-left: 2em; }

.project-directory-link {
  background: #fafafa;
  border: 1px solid #eee;
  padding-top: 1px; }

.project-file-link-style {
  cursor: pointer; }
  .project-file-link-style:hover {
    background-color: #efe; }

@media (max-width: 767px) {
  .project-file-link-style {
    min-height: 40px; }

  .project-pages {
    float: none !important; }
    .project-pages > li {
      width: 20%;
      text-align: center; }

  .file-pages {
    float: none; }
 }

.project-file-name {
  font-weight: bold;
  white-space: pre-wrap;
  word-wrap: break-word;
  overflow-wrap: break-word; }

.project-file-name-extension {
  color: #999;
  white-space: pre-wrap;
  word-wrap: break-word;
  overflow-wrap: break-word; }

.project-file-drag-handle {
  font-size: 14pt;
  color: #aaa; }

.project-directory-link-style {
  background-color: #ffffff;
  margin-top: 0px;
  margin-bottom: 0px;
  padding-top: 0px;
  padding-bottom: 0px;
  min-height: 26px;
  border-bottom: 1px solid #eee;
  cursor: pointer; }
  .project-directory-link-style:hover {
    background-color: #efe; }

@media (max-width: 767px) {
  .project-directory-link-style {
    min-height: 40px; }
 }

.project-project_title {
  font-size: 18pt; }

.project-pages, .file-pages {
  font-size: 10pt; }

.project-pages {
  float: left;
  margin-left: 5px; }
  .project-pages > li > a {
    padding: 8px 10px; }

.salvus-project-status-indicator-button {
  width: 10%;
  margin-top: 8px; }

.project-pages-button {
  cursor: pointer; }

.project-search-output {
  background-color: white;
  font-family: monospace; }

.project-search-output-command {
  background-color: white;
  font-family: monospace;
  font-size: 10pt;
  color: #888; }

.project-search-output-path-heading {
  margin-top: 7px; }

.project-file-listing-cwd {
  background-color: #fff;
  font-size: 12pt;
  font-weight: bold; }

.project-commits-branch {
  font-weight: bold;
  width: 12ex; }

.project-commit-single-message {
  font-size: 12pt;
  font-weight: bold; }

.project-commit-single-author, .project-commit-single-date {
  font-size: 9pt; }

.project-commit-single-sha {
  font-family: monospace;
  font-size: 9pt; }

.project-commit-single {
  background-color: #ffffff;
  margin-top: 0px;
  margin-bottom: 0px; }
  .project-commit-single:hover {
    background-color: #efe; }

.project-branch-single {
  background-color: #ffffff;
  margin-top: 0px;
  margin-bottom: 0px; }

.project-branch-single-current {
  background-color: #9f9; }

.project-branch-single-name {
  font-weight: bold; }

.project-file-listing-current_path {
  margin-left: 25px;
  font-weight: bold;
  font-size: 17px; }

.project-file-listing-path-segment-link {
  cursor: pointer; }

.project-file-top-current-path-container {
  font-size: 11px; }

.project-move-path-dialog-filename {
  background-color: #fff;
  padding: 5px;
  border: 1px solid #aaa; }

.project-command-line {
  clear: both;
  margin-left: 0em;
  padding: 0px; }

.project-command-line-input {
  margin-top: 0em;
  margin-left: 0em;
  width: 100%; }

.project-command-line-output {
  width: 100%;
  z-index: 1;
  margin-left: 0px;
  position: absolute;
  box-shadow: 0px 0px 7px #aaa; }

.project-activity-chat {
  resize: vertical; }

.project-command-line-stdout {
  margin: 0;
  padding: 2px;
  background-color: #fff;
  color: #333;
  font-size: 12px;
  width: 100%;
  overflow-y: auto;
  min-height: 3em;
  padding-right: 1.5em; }

.project-command-line-stderr {
  margin: 0;
  padding: 2px;
  background-color: #fcc;
  color: #922;
  font-size: 12px;
  width: 100%;
  overflow-y: auto;
  min-height: 3em;
  padding-right: 1.5em; }

.project-id {
  color: #666;
  font-size: 10pt;
  font-family: monospace; }

.salvus-project-id-warning {
  color: white;
  font-weight: bold;
  font-size: 7pt;
  background: red; }

.project-location {
  color: #666;
  font-size: 10pt;
  font-family: monospace; }

.project-commit-message-input, .project-commit-command-input {
  width: 100%; }

.project-commit-message-output {
  background-color: #fff;
  color: #e87011;
  padding: 1em;
  border: solid 1px red;
  width: 100%; }

.project-git-status-output {
  background-color: #fff;
  border: 2px solid #99f;
  box-shadow: 4px 4px 2px #bbf;
  max-height: 16em;
  overflow: auto;
  width: 100%;
  padding: 1em; }

.project-commit-command-output {
  background-color: #fff;
  color: #222;
  padding: 1em;
  border: solid 1px blue;
  width: 100%; }

.project-file-list-sort-order {
  margin-left: 2em; }

.project-listing-search-include {
  z-index: 10; }

.project-listing-search-exclude {
  opacity: 0.3;
  overflow: hidden;
  height: 12px;
  font-size: 9px;
  margin: 0;
  padding: 0;
  margin-top: -13px; }

.project-search-output-further-results {
  font-weight: bold;
  background: white; }

.project-search-result {
  word-wrap: break-word; }
  .project-search-result:hover {
    background-color: #efe; }

.project-new-file-path {
  font-size: 16pt;
  overflow-wrap: break-word; }

.project-control-icon {
  font-size: 20px; }

.project-file-listing-spinner {
  margin-top: 2em; }

.project-dropzone {
  border: 2px solid #ccc;
  box-shadow: 4px 4px 2px #bbb;
  border-radius: 5px;
  padding: 0; }

.project-connection {
  border-radius: 6px;
  background-color: #08c;
  padding: 6px;
  margin-bottom: 1ex;
  color: #fff; }

.project-collab-last-name {
  margin-right: 1ex; }

.project-close-button:hover {
  color: #f00; }

.project-activity-open-filename {
  cursor: pointer; }

.project-file-icon {
  font-size: 14pt;
  width: 1em; }

.project-file-listing-masked-file .project-file-icon, .project-file-listing-masked-file .project-file-name, .project-file-listing-masked-file .project-file-name-extension {
  color: #bbbbbb; }

.salvus-file-action {
  color: #888;
  padding-top: 0px;
  padding-bottom: 0px;
  width: 6em; }

.salvus-file-action-public {
  padding-top: 0px;
  padding-bottom: 0px; }

.project-home-icon {
  font-size: 16pt; }

.project-snapshot-last-timeago {
  font-size: 9pt;
  margin-left: 1em; }

.project-move-snapshot-last-timeago {
  font-style: italic;
  font-weight: bold; }

.salvus-project-replica {
  background-color: white;
  border: 1px solid lightgrey;
  padding: 5px;
  cursor: pointer; }

.salvus-project-replica-clickable:hover {
  background-color: #efe; }

.salvus-project-replica-current {
  background-color: #FFFACD; }

.salvus-project-replica-datacenter {
  font-size: 9pt; }

.salvus-project-replica-host {
  font-family: monospace;
  font-size: 9pt; }

.salvus-project-replica-timeago, .salvus-project-replica-status {
  font-size: 9pt; }

.salvus-project-search-describe {
  margin-top: 4px;
  font-size: 14pt; }

.project-file-listing-show_all {
  margin-left: 1em;
  margin-right: 1em;
  margin-bottom: 1em; }

.project-heading-well, .salvus-project-settings-heading-well {
  background: white; }

@media (min-width: 768px) {
  .project-settings-well, .project-heading-well {
    margin-left: 10px;
    margin-right: 10px;
    width: 46.5%;
    width: calc(50% - 21px); }
 }

.salvus-project-in-published-path {
  background: #eaeaea; }

.salvus-file-action-public-label {
  color: orange; }

.salvus-project-in-published-url {
  cursor: pointer;
  width: 100%; }

.salvus-project-published-desc-input {
  margin-top: 1.5em;
  width: 100%; }

.project-project_description {
  font-size: 11pt;
  color: #666;
  max-height: 6em;
  overflow-y: auto;
  border: 1px solid lightgrey;
  padding: 1ex;
  border-radius: 3px; }

.salvus-settings-url {
  font-size: 10pt; }

/*
 *
 *Editor for files in a project
 */
.salvus-editor-content {
  position: absolute;
  left: 0;
  margin: 0;
  width: 100%;
  padding: 0;
  background: white; }

.salvus-editor-close-button-x {
  font-size: 14px;
  margin-top: 9px;
  margin-right: 15px;
  width: 2%; }
  .salvus-editor-close-button-x:hover {
    color: #f00; }

.salvus-editor-tab-filename {
  overflow: hidden;
  display: block;
  white-space: nowrap;
  /* font-size: 10pt;  */ }

.salvus-editor-find {
  display: inline-block;
  height: 25px;
  padding: 4px 6px;
  margin-top: 3px; }

.salvus-editor-filename-pill {
  width: 32%;
  cursor: pointer; }

.salvus-editor-filename-pill-icon-active {
  color: orange; }

@media (max-width: 767px) {
  .salvus-editor-filename-pill {
    width: 50%; }
 }

@media (max-width: 480px) {
  .salvus-editor-filename-pill {
    width: 100%; }
 }

.salvus-editor-codemirror {
  position: fixed;
  width: 100%;
  padding: 0px; }

.salvus-editor-codemirror-button-row {
  margin-top: 1px;
  background: #efefef; }

.salvus-editor-codemirror-filename, .salvus-editor-pdf-title {
  margin-left: 3em;
  margin-right: 5em;
  font-size: 10pt;
  font-weight: bold;
  color: #555; }

.salvus-editor-codemirror-cursor {
  position: absolute;
  width: 15em;
  z-index: 5; }

.salvus-editor-codemirror-cursor-inside {
  position: absolute;
  top: -1.3em;
  left: 0.5ex;
  height: 1.15em;
  width: 0.1ex;
  border-left: 2px solid black;
  border: 1px solid #aaa;
  opacity: 0.7; }

.salvus-editor-codemirror-cursor-label {
  position: absolute;
  top: -2.9em;
  left: 1.5ex;
  font-size: 8pt;
  font-family: serif;
  background-color: rgba(255, 255, 255, 0.7); }

.salvus-editor-recent-files {
  margin-bottom: 0em; }

.salvus-editor-codemirror-input-box {
  /*border: 2px solid #9a9;
   *border-radius: 5px;
   */ }

.salvus-editor-codemirror-sync {
  font-size: 8pt;
  color: #bbb; }

.salvus-editor-latex-png-preview {
  padding-top: 2px; }

.salvus-editor-latex-errors {
  overflow-y: scroll; }

.salvus-latex-errors-counter {
  color: #a00; }

.salvus-latex-warnings-counter {
  color: #FDB600; }

.salvus-editor-latex-mesg-template {
  overflow-x: auto;
  background: white;
  margin-right: 2em; }

.salvus-editor-latex-mesg-template-error {
  border: 2px solid #a00; }

.salvus-editor-latex-mesg-template-warning, .salvus-editor-latex-mesg-template-typesetting {
  border: 2px solid #FDB600; }

.salvus-latex-mesg-message {
  font-size: 13pt;
  margin-left: 1em; }

.salvus-latex-mesg-content {
  font-size: 9pt;
  margin: 5px; }

.salvus-editor-pdf-preview-page {
  background-color: #eee;
  overflow-x: auto;
  overflow-y: scroll;
  border-left: 2px solid #ddd; }

.salvus-editor-pdf-preview-image {
  margin: 1em;
  background-color: #fff;
  border: 1px solid #aaa;
  box-shadow: 2px 2px 2px #888;
  max-width: 160%;
  /* hard coded in the line @zoom_width = 160 in editor.coffee  */
  width: 160%; }

.salvus-editor-pdf-preview-spinner {
  position: absolute;
  left: 2em;
  top: 10em; }

.salvus-editor-pdf-preview-text {
  border-top: 1px solid black;
  text-align: left;
  margin-left: 1em;
  margin-right: 1em;
  padding-top: 1em;
  color: #8a8a8a; }

.salvus-editor-pdf-preview-highlight {
  margin-bottom: -3em;
  padding-bottom: 3em;
  opacity: 0.3;
  background-color: yellow; }

.salvus-editor-pdf-preview-buttons {
  position: absolute;
  margin-right: 1em;
  right: 0;
  font-size: 11pt; }

.salvus-editor-pdf-preview-embed {
  position: fixed; }

.salvus-editor-search-openfiles-input {
  width: 80%; }

.salvus-editor-openfile-excluded-from-search {
  opacity: 0.6; }

.salvus-editor-openfile-included-in-search {
  border-radius: 6px;
  border: 1px solid #aaa;
  box-shadow: 2px 2px 2px 2px #bbb; }

.salvus-editor-codemirror-chat-column {
  position: fixed;
  background-color: white;
  right: 0px;
  width: 42ex;
  padding: 0; }

.salvus-editor-codemirror-chat {
  margin: 0px;
  padding: 0px;
  width: 35ex;
  border: 2px solid #9a9;
  border-radius: 5px; }

.salvus-editor-chat-title {
  color: #666;
  font-size: 18pt;
  font-weight: bold;
  position: fixed;
  z-index: 10;
  right: 0;
  cursor: pointer; }

.salvus-editor-codemirror-chat-output {
  padding: 2ex;
  margin: 0ex;
  width: 100%;
  position: absolute;
  overflow-y: auto;
  overflow-x: hidden;
  overflow-wrap: break-word;
  background-color: #fff; }

.salvus-editor-codemirror-chat-input {
  padding: 23x;
  margin: 0ex;
  height: 8em !important;
  width: 100%;
  position: absolute;
  resize: none; }

.salvus-chat-header {
  padding-top: 3px;
  border-top: solid 1px #ddd; }

.salvus-chat-header-name {
  font-weight: bold; }

.salvus-chat-header-date {
  font-size: 9pt;
  color: #999; }

.salvus-editor-chat-new-chats {
  color: orange;
  padding-right: 1ex; }

.salvus-editor-chat-no-new-chats {
  padding-right: 1ex; }

/*********** Synchronized Worksheets **************** */
.sagews-input {
  white-space: nowrap;
  margin-left: -4px;
  width: 100%; }

.sagews-input-live:hover {
  cursor: pointer;
  background-color: #428bca; }

.sagews-input-hr {
  margin: 0px;
  margin-right: -10px;
  margin-bottom: 0.5ex;
  /* makes line look centered */
  display: inline-block;
  height: 3px;
  background: #ccc; }

.sagews-input-newcell {
  width: 40%; }

.sagews-input-eval-state {
  width: 20%; }

.sagews-input-run-state {
  width: 40%; }

.sagews-input-evaluated {
  background: #428bca; }

.sagews-input-execute {
  background: #080; }

.sagews-input-running {
  background: #0a0; }

.sagews-output {
  padding: 1ex;
  padding-right: 0px;
  margin: 0px;
  overflow-y: auto;
  white-space: normal;
  border-left: 3px solid orange;
  margin-left: -4px; }

.sagews-output-edit-button {
  visibility: hidden;
  margin-top: -6px; }

.sagews-output:hover .sagews-output-edit-button {
  visibility: visible; }

.sagews-output-html {
  font-family: helvetica;
  /*padding-left: 2em;
   *padding-right:2em;
   */ }

.sagews-output-md {
  font-family: helvetica; }

.sagews-output-stdout {
  white-space: pre; }

.sagews-output-stderr {
  white-space: pre;
  color: red; }

.sagews-output-code {
  white-space: pre;
  border: 2px solid lightblue;
  padding: 1ex; }

.sagews-output-tex {
  background: white;
  /* so that tex is visible */ }

.sagews-output-image {
  cursor: pointer;
  background: white;
  /* so that, e.g., latex with transparent background is visible */ }

.sagews-output-link {
  cursor: pointer; }

.sagews-output-hide {
  height: 0px;
  background: #eee;
  padding: 4px; }

.salvus-editor-image {
  position: fixed;
  width: 99%;
  padding: 0px;
  overflow-y: auto; }

.salvus-editor-image-container {
  overflow: auto;
  background-color: #fff;
  border: 1px solid #aaa;
  box-shadow: 5px 5px 5px 5px #888; }

.salvus-editor-image-title {
  margin-left: 3em;
  margin-right: 5em;
  font-size: 10pt;
  font-weight: bold;
  color: #555; }

.salvus-editor-static-html-content {
  overflow-y: auto;
  margin: 1em;
  border: 1px solid lightgray; }

.salvus-editor-ipython-nbviewer-content {
  border: 1px solid lightgray; }

.salvus-ipython-notebook {
  background: white;
  position: fixed;
  width: 100%; }

.salvus-ipython-notebook-buttons {
  position: absolute;
  top: 7px;
  right: 7px; }

.salvus-ipython-notebook-status-messages {
  font-size: 10pt; }

.salvus-ipython-notebook-danger {
  color: white;
  font-weight: bold;
  font-size: 7pt;
  background: red; }

.salvus-editor-history-history_editor .salvus-editor-codemirror-input-box {
  width: 100%; }

/*the slider background */
.salvus-editor-history-slider {
  height: 11px;
  position: relative;
  margin-top: 5px;
  margin-bottom: 5px;
  margin-left: 10px;
  margin-right: 10px; }
  .salvus-editor-history-slider > .ui-slider-handle {
    width: 12px;
    height: 24px;
    position: absolute;
    top: -8px;
    margin-left: -6px;
    z-index: 200;
    outline: none; }

/*Style for the slider button */
/* Undo various bootstrap madness (which makes scaling markdown very painful) */
li {
  line-height: normal; }

code {
  font-size: inherit; }

.cm-trailingspace {
  background-image: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAACCAYAAAB/qH1jAAAABmJLR0QA/wD/AP+gvaeTAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAB3RJTUUH3QUXCToH00Y1UgAAACFJREFUCNdjPMDBUc/AwNDAAAFMTAwMDA0OP34wQgX/AQBYgwYEx4f9lQAAAABJRU5ErkJggg==);
  background-position: bottom left;
  background-repeat: repeat-x; }

/* Deals with the currently open file tabs and moving them around */
.file-pages {
  float: none;
  overflow: hidden; }
  .file-pages > li > a {
    position: static;
    /* Bootstrap 3 has this as relative ??  */
    padding: 13px 15px 7px;
    border-radius: 5px 5px 0px 0px;
    /* Flatten bottom corners like tabs  */ }

.file-tab-placeholder {
  /* Currently blank */ }

.file-pages li.ui-sortable-helper > a {
  background-color: #eee; }
.file-pages li.active.ui-sortable-helper > a {
  background-color: #08c; }

.nav-pills > li + li {
  margin-left: 0 !important; }

.btn-group .btn + .btn, .btn-group .btn + .btn-group {
  margin-left: 0 !important; }
.btn-group .btn-group + .btn, .btn-group .btn-group + .btn-group {
  margin-left: 0 !important; }

.salvus-editor-codemirror-not-synced {
  background: red;
  color: white;
  padding: 5px;
  border-radius: 3px; }

.salvus-editor-resize-bar-layout-1 {
  height: 6px;
  cursor: ns-resize;
  background: #efefef; }
  .salvus-editor-resize-bar-layout-1:hover {
    background: #ddd; }

.salvus-editor-resize-bar-layout-2, .salvus-editor-latex-resize-bar {
  cursor: ew-resize;
  background: #efefef;
  width: 6px; }
  .salvus-editor-resize-bar-layout-2:hover, .salvus-editor-latex-resize-bar:hover {
    background: #ddd; }

.salvus-tasks-editor {
  background: #fff;
  width: 100%; }

.salvus-tasks-new {
  background-color: white; }

.salvus-task {
  background-color: white;
  padding-left: 1ex;
  padding-bottom: 0ex;
  padding-right: 0em;
  padding-top: 1ex;
  cursor: pointer;
  border: 2px solid transparent;
  border-radius: 1ex;
  width: 99%;
  margin-left: 0px;
  margin-right: 0px; }

.highlight-tag {
  background-color: orange !important;
  margin: 0px; }

.salvus-task:hover {
  background-color: #efe; }

.salvus-task-desc {
  border: 1px solid #ddd;
  padding: 1ex;
  padding-bottom: 0px;
  margin: 1ex;
  margin-top: 0px;
  background: white; }
  .salvus-task-desc:hover {
    cursor: text;
    /*border-radius: 3px;
     *border-color: #51a7e8;
     *box-shadow: inset 0 0 5px rgba(81,167,232,0.5);
     */ }

.salvus-tasks-desc-edit {
  width: 100%; }

.salvus-task-icon {
  color: #888;
  padding-top: 4px;
  padding-bottom: 0;
  font-size: 9pt; }
  .salvus-task-icon:hover {
    color: #0088cc; }

.salvus-task-sort-icon {
  font-size: 15pt;
  margin-right: 4em; }

.salvus-task-icon-done-box {
  font-size: 17pt;
  color: #888; }
  .salvus-task-icon-done-box:hover {
    color: #51a7e8; }

.salvus-task-viewer {
  color: #444; }

.salvus-current-task {
  border: 2px solid #08c;
  background-color: #e8f2ff; }

.salvus-tasks-search-describe {
  margin-top: 4px;
  font-size: 11pt;
  padding-bottom: 4px; }

.salvus-new-task-cm-editor {
  margin-bottom: 1ex;
  min-height: 2em;
  padding-left: 1ex;
  padding-right: 1ex;
  border: 1px solid #ccc;
  border-radius: 3px;
  box-shadow: inset 0 1px 2px rgba(0, 0, 0, 0.075); }

.salvus-new-task-cm-editor-focus {
  border-color: #51a7e8;
  box-shadow: inset 0 0 5px rgba(81, 167, 232, 0.5); }

.salvus-new-task-cm-scroll {
  overflow-y: hidden;
  overflow-x: auto; }

.salvus-tasks-list-heading {
  padding-bottom: 0.5ex;
  font-size: 11pt;
  cursor: pointer; }

.salvus-tasks-header {
  padding-right: 10px; }

.salvus-task-header-current {
  font-weight: bold; }

.salvus-tasks-list {
  overflow-y: auto;
  overflow-x: hidden;
  margin-bottom: 2em;
  padding-right: 10px;
  padding-left: 10px; }

.salvus-task-reorder-handle {
  font-size: 17pt;
  color: #888;
  margin-right: 6px; }
  .salvus-task-reorder-handle:hover {
    color: #51a7e8; }

.salvus-task-icon-active {
  font-size: 13pt; }

.salvus-task-icon-active-is_active, .salvus-task-active {
  color: orange; }

.salvus-task-is_active {
  background: lightyellow; }

.salvus-task-toggle-icon {
  color: #888;
  font-size: 17pt;
  margin-left: 0 !important; }
  .salvus-task-toggle-icon:hover {
    color: #51a7e8; }

.salvus-task-active-icon:hover {
  color: #222; }

.salvus-task-last-edited {
  color: #888;
  font-size: 10pt; }

.salvus-task-due {
  color: #888;
  font-size: 10pt; }
  .salvus-task-due:hover {
    color: #08c; }

.salvus-task-done {
  color: #888;
  font-size: 10pt; }

.salvus-task-overdue {
  background: red;
  color: white; }

.salvus-task-delete {
  font-size: 15pt;
  color: #888; }
  .salvus-task-delete:hover {
    color: red; }

.salvus-task-deleted {
  color: red; }

.salvus-tasks-filename {
  font-weight: bold;
  font-size: 11pt;
  color: #666; }

.salvus-task-due-clear:hover {
  color: #f00; }

.salvus-tasks-hash {
  background-color: #2f96b4;
  color: white;
  padding: 3px;
  border-radius: 3px;
  cursor: pointer; }
  .salvus-tasks-hash:hover {
    background-color: #2a85a0; }

.salvus-tasks-hashtags {
  overflow: hidden;
  padding: 3px;
  margin: 0;
  line-height: 0; }

.salvus-tasks-first {
  cursor: pointer; }

.salvus-task-checkbox {
  cursor: pointer; }

.salvus-task-overall-done {
  opacity: 0.7; }
  .salvus-task-overall-done:hover {
    opacity: 1; }

.salvus-task-sort {
  padding-left: 0; }

.salvus-tasks-loading {
  font-size: 16pt; }

.salvus-tasks-list-none {
  margin-left: 3em; }

.salvus-task-search-deleted-icon {
  margin-bottom: 4px; }

.bootstrap-datetimepicker-widget > ul {
  padding: 0; }

.salvus-course-student {
  background: white; }
  .salvus-course-student:hover {
    background-color: #efe; }

.salvus-course-editor {
  overflow-y: auto;
  overflow-x: hidden;
  margin-bottom: 2em;
  padding-top: 4px;
  background: white;
  width: 100%;
  border-top: 1px solid #aaa; }

.salvus-course-editor-title {
  font-size: 18pt;
  font-weight: bold;
  color: #555;
  margin-top: 6px;
  padding: 1ex;
  background: white;
  -webkit-appearance: textfield;
  -moz-appearance: textfield; }

.salvus-course-editor-description {
  font-size: 12pt;
  padding: 1ex;
  border-radius: 4px;
  color: #555;
  background: white;
  -webkit-appearance: textfield;
  -moz-appearance: textfield; }

.salvus-course-heading {
  font-weight: bold;
  padding-left: 1ex;
  font-size: 12pt;
  color: #666; }

.salvus-course-field {
  color: #555;
  padding-bottom: 1ex; }

.salvus-course-student-deleted {
  text-decoration: line-through;
  opacity: 0.6; }

.salvus-course-student-email_address {
  font-family: monospace; }

.salvus-course-assignment:hover {
  background-color: #efe; }

.salvus-course-assignment-deleted {
  text-decoration: line-through;
  opacity: 0.6;
  /* since changing color is ugly */ }

.salvus-course-assignment-path {
  cursor: pointer;
  font-size: 13pt; }

.salvus-course-collect-path {
  cursor: pointer; }

.salvus-course-search-describe {
  margin-top: 4px;
  font-size: 11pt;
  padding-bottom: 4px; }

.salvus-course-assign-to-student, .salvus-course-collected-assignment-students {
  cursor: default; }

.salvus-interact-container {
  padding: 1ex;
  border: 1px solid #ccc;
  border-radius: 3px;
  margin: 1ex;
  padding-left: 20px;
  padding-right: 20px; }

.salvus-interact-control-grid {
  display: inline-block;
  margin: 1ex;
  padding: 1ex; }

.salvus-interact-control-selector-buttonbox {
  background-color: #f0f0f0;
  padding: 5px;
  border: 1px solid #ccc;
  border-radius: 3px; }

.salvus-interact-control-slider {
  margin-top: 4px;
  cursor: default; }

.salvus-interact-input-box-font {
  font-family: "Courier New";
  font-size: 13pt; }

.salvus-interact-var- {
  padding: 6px;
  margin: 2px;
  border: 1px solid #ddd;
  border-radius: 5px;
  box-shadow: 2px 2px 1px #ddd;
  overflow-y: auto;
  white-space: normal; }

/*
 *Collection of consoles on a project
 */
.salvus-consoles-content {
  margin-left: 1em; }

.salvus-consoles-close-button-x {
  font-size: 18px;
  margin-left: 5px; }
  .salvus-consoles-close-button-x:hover {
    margin-left: 5px;
    color: #fff;
    background-color: orange;
    font-size: 18px; }

.salvus-consoles-xterm {
  width: 100%;
  border: 2px solid #99f;
  box-shadow: 4px 4px 2px #bbf; }

.salvus-consoles-button-bar {
  margin-bottom: 1em; }

.salvus-consoles-command-line-output {
  width: 100%;
  height: 16em; }

.salvus-consoles-command-line-input {
  width: 100%; }

.navbar-btn {
  margin-right: 5px; }

.close-button-x {
  position: relative; }
  .close-button-x:hover {
    color: #fff; }

.navbar-big {
  font-size: 18px; }

.nav.projects li.ui-sortable-helper {
  color: #555555;
  text-decoration: none;
  background-color: #ffffff; }
.nav.pull-right {
  float: right; }
.nav.projects {
  float: none !important;
  overflow: hidden; }

.navbar .divider-vertical {
  height: 42px;
  margin: 0 9px;
  border-right: 1px solid #ffffff;
  border-left: 1px solid #f2f2f2; }
.navbar .button-label > img {
  height: 22px;
  padding-right: 4px;
  vertical-align: bottom; }

.salvus-connection-status {
  width: 6.5em;
  font-size: 10pt;
  line-height: 10pt;
  cursor: default;
  margin-top: 2ex;
  margin-right: 1ex; }

.salvus-connection-status-protocol-bad {
  color: #f55; }

.salvus-top_navbar {
  font-size: 14px;
  margin-bottom: 0;
  min-height: 0;
  opacity: 0.85; }

.salvus-top_navbar-tab-active {
  color: #745c2e; }

.salvus-fullscreen-activate {
  position: fixed;
  z-index: 100000;
  right: 0;
  top: 0;
  font-size: 12pt;
  padding: 4px;
  color: #999;
  font-weight: bold; }
  .salvus-fullscreen-activate:hover {
    color: #222; }

.salvus-fullscreen-deactivate {
  position: fixed;
  z-index: 100000;
  right: 0;
  top: 0;
  font-size: 12pt;
  padding: 4px;
  color: #999;
  font-weight: bold;
  background-color: #eee; }
  .salvus-fullscreen-deactivate:hover {
    background: blue;
    color: white; }

.salvus-topbar-responsive-button {
  color: #666;
  font-size: 19px;
  top: 2px;
  position: relative; }

.salvus-connection-status-connecting {
  background-color: red;
  color: white;
  padding: 1ex;
  z-index: 100001; }

.salvus-connection-status:hover {
  color: #222222; }

.top_navbar-button-link {
  overflow: hidden;
  padding: 10px 8px !important;
  text-overflow: ellipsis; }

.top_navbar-button-template {
  white-space: nowrap; }

.button-label, .project-pages-button-label {
  -webkit-user-select: none;
  -khtml-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  user-select: none; }

@media (max-width: 767px) {
  .navbar-nav.pull-right, .navbar-nav.pull-left {
    float: none !important;
    font-weight: bold;
    margin: 0; }
  .navbar-nav li > a {
    font-weight: bold;
    border-radius: 3px; }

  .salvus-top_navbar {
    position: static; }

  body {
    padding-top: 0 !important; }
 }

.salvus-3d-container {
  margin-left: 3em;
  cursor: pointer; }

.salvus-3d-note {
  border: 1px solid #aaa;
  padding: 3px;
  border-radius: 2px;
  background: #fafafa;
  box-shadow: 1px 1px 2px; }

.salvus-3d-dynamic-renderer {
  border: 2px solid #08c;
  border-radius: 3px; }

.salvus-3d-static-renderer {
  border: 2px solid lightgrey;
  border-radius: 3px;
  display: inline-block;
  vertical-align: baseline; }

.hide {
  display: none; }

.tt {
  font-family: monospace; }

.lighten {
  color: #666; }

.lighten-2 {
  color: #999; }

.small {
  font-size: 9pt; }

.smallish {
  font-size: 10pt; }

.large {
  font-size: 16pt; }

.Large {
  font-size: 18pt; }

.huge {
  font-size: 22pt; }

.bold {
  font-weight: bold; }

.close {
  font-size: 20pt; }

.center {
  text-align: center; }

body {
  padding-top: 43px; }

/* mezzo-small, larger than xs, smaller than sm, like the old tasklist button size */
.btn-ms {
  padding-bottom: 2px;
  padding-left: 10px;
  padding-right: 10px;
  padding-top: 2px;
  letter-spacing: normal;
  line-height: 20px;
  margin-bottom: 0px;
  margin-left: -1px;
  margin-right: 0px;
  margin-top: 0px;
  font-size: 11.9px; }

@media (max-width: 767px) {
  .salvus-project {
    position: relative !important;
    top: 0px !important; }
 }

/* so on iOS scroll-into-view modals work */
@media (max-width: 480px) {
  .modal.fade.in {
    top: 10px; }
 }

/* This is a hack to accurately determine if the screen is displaying in responsive mode.
 * When responsive mode, .salvus-responsive-mode-test will have a width of 767px and in full size the
 * width will be 10000px.
 */
@media (max-width: 767px) {
  .salvus-responsive-mode-test {
    width: 767px; }
 }

@media (min-width: 768px) {
  .salvus-responsive-mode-test {
    width: 10000px; }
 }

.ui-pnotify-history-container {
  position: fixed; }

/* The following makes it so the codemirror cursor is visible to the naked eye.
 * I do not understand how anybody can stand the default nearly-invisible vertical line. */
/*.CodeMirror div.CodeMirror-cursor {
 *  background-color:#000 !important;
 *  width:1ex !important;
 *  opacity:0.5;
 *}
 */
.CodeMirror, .CodeMirror-wrap {
  line-height: normal; }

/* see http://stackoverflow.com/questions/271067/how-can-i-make-a-textarea-100-width-without-overflowing-when-padding-is-present  */
.boxsizingBorder {
  -webkit-box-sizing: border-box;
  -moz-box-sizing: border-box;
  box-sizing: border-box; }

.highlight {
  background-color: orange;
  padding: 3px;
  margin: -3px;
  border-radius: 3px; }

/* fix bootstrap ugliness  */
code {
  color: #444; }

blockquote p {
  font-size: 15px; }

.constrained {
  max-width: 1170px; }

.modal h3 {
  margin: 0; }

.modal-footer {
  padding: 5px; }

input[type="text"], select, input[type="email"], select, input[type="password"], select {
  margin-bottom: 10px; }

.btn {
  white-space: normal; }

.btn-black {
  color: #fff;
  background-color: #000000;
  border-color: #000000; }

.tooltip {
  font-size: 11px; }

.checkbox {
  margin-top: 4px;
  margin-bottom: 4px; }

.navbar-default .navbar-collapse, .navbar-default .navbar-form {
  position: relative;
  top: 1px; }

/* Make math visible even when there is a dark background.  Since mathjax is always black, this
 * helps a lot.  Obviously, it isn't perfect, but it is better than USELESS. '
 */
.MathJax_SVG_Display {
  background: white; }

/* From http://stackoverflow.com/questions/13955163/imitating-a-blink-tag-with-css3-animations  */
.blink {
  animation: blink 1s steps(5, start) infinite;
  -webkit-animation: blink 1s steps(5, start) infinite; }

@keyframes blink {
  to {
    visibility: hidden; } }

@-webkit-keyframes blink {
  to {
    visibility: hidden; } }

.cm-spell-error {
  background-image: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAACCAYAAAB/qH1jAAAABmJLR0QA/wD/AP+gvaeTAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAB3RJTUUH3QUXCToH00Y1UgAAACFJREFUCNdjPMDBUc/AwNDAAAFMTAwMDA0OP34wQgX/AQBYgwYEx4f9lQAAAABJRU5ErkJggg==);
  background-position: bottom left;
  background-repeat: repeat-x; }


/*# sourceMappingURL=/static/index.map.css */