/* line 1, app/assets/stylesheets/account.scss */
.account {
  line-height: 1.8em;
  height: 30px;
}

/* line 4, app/assets/stylesheets/account.scss */
.account form {
  display: inline-block;
}

/* line 9, app/assets/stylesheets/account.scss */
body {
  margin: 0;
  overflow-x: hidden;
}
/* line 1, app/assets/stylesheets/buttons.scss */
button, a.button {
  font-family: Arial;
  border: none;
  background: #e8e8e8;
  border: 2px solid transparent;
  margin-left: 0;
  padding-inline: 5px;
  padding-block: 1px;
  color: black;
  text-decoration: none;
}

/* line 13, app/assets/stylesheets/buttons.scss */
button:hover, a.button:hover {
  border-color: black;
}
/* line 1, app/assets/stylesheets/editor.scss */
.editor {
  display: flex;
  flex-direction: column;
  gap: 5px;
  height: calc(100vh - 30px);
}

/* line 7, app/assets/stylesheets/editor.scss */
.editor #output {
  height: 250px;
}

/* line 11, app/assets/stylesheets/editor.scss */
.editor .project {
  flex-grow: 1;
  flex-basis: 0;
  min-height: 0;
  display: flex;
  flex-direction: row;
}

/* line 19, app/assets/stylesheets/editor.scss */
.editor .project .project_sidebar {
  font-size: 90%;
  width: 0;
  box-sizing: border-box;
  position: relative;
}

/* line 25, app/assets/stylesheets/editor.scss */
.editor .project .project_sidebar .project_sidebar_heading {
  width: 2em;
  line-height: 1.8em;
  margin-bottom: 5px;
  position: fixed;
}

/* line 32, app/assets/stylesheets/editor.scss */
.editor .project .project_sidebar .project_sidebar_projects {
  margin-top: 1.8em;
  overflow: hidden;
  overflow-y: scroll;
  height: calc(100% - 1.8em);
  background-color: #e8e8e8;
}

/* line 40, app/assets/stylesheets/editor.scss */
.editor .project .project_sidebar .project_sidebar_project, .editor .project .project_sidebar .project_sidebar_new_project, .editor .project .project_sidebar .project_sidebar_view_deleted {
  display: block;
  padding-left: 5px;
  width: 275px;
  box-sizing: border-box;
  background-color: transparent;
  text-align: left;
}

/* line 50, app/assets/stylesheets/editor.scss */
.editor .project .project_file {
  flex-grow: 1;
  height: 100%;
  display: flex;
  flex-direction: column;
}

/* line 58, app/assets/stylesheets/editor.scss */
.editor .board_connection {
  line-height: 1.8em;
}

/* line 60, app/assets/stylesheets/editor.scss */
.editor .board_connection .firmware_download {
  float: right;
}

/* line 65, app/assets/stylesheets/editor.scss */
.editor .file_info {
  font-size: 90%;
  line-height: 1.8em;
  color: gray;
  margin-left: 2em;
}

/* line 71, app/assets/stylesheets/editor.scss */
.editor .file_info #file_status_and_versions {
  float: right;
  position: relative;
}

/* line 77, app/assets/stylesheets/editor.scss */
.editor .editor-holder {
  margin-top: 0.2em;
  margin-bottom: 0.2em;
  clear: both;
  height: 100%;
  max-height: 100%;
  overflow: hidden;
  width: 100%;
  box-sizing: border-box;
}

/* line 90, app/assets/stylesheets/editor.scss */
.editor .cm-editor {
  box-sizing: border-box;
  clear: both;
  height: 100%;
  max-height: 100%;
  overflow: hidden;
  width: 100%;
}

/* line 100, app/assets/stylesheets/editor.scss */
.editor #big_editor_message {
  font-size: 2rem;
  width: 100%;
  height: stretch;
  text-align: center;
  background-color: #ffbe3c;
  z-index: 100;
  display: none;
}

/* line 110, app/assets/stylesheets/editor.scss */
.editor .versions_menu {
  box-sizing: border-box;
  color: black;
  float: right;
  width: 300px;
  height: 0px;
  right: 0;
  top: 1.8em;
  background: #e8e8e8;
  z-index: 100;
  padding-left: 5px;
  position: absolute;
  overflow-y: auto;
  overflow-x: hidden;
}

/* line 126, app/assets/stylesheets/editor.scss */
.editor .versions_menu .versions_menu_version {
  padding-left: 5px;
  width: 295px;
  background-color: transparent;
  text-align: left;
}

/* line 134, app/assets/stylesheets/editor.scss */
.editor .cm-editor {
  border: 2px solid gray;
}

/* line 135, app/assets/stylesheets/editor.scss */
.editor .cm-editor.cm-focused {
  border: 2px solid black;
}

/* line 136, app/assets/stylesheets/editor.scss */
.editor .cm-editor .cm-content {
  font-family: "Source Code Pro", monospace;
  font-optical-sizing: auto;
}

/* line 144, app/assets/stylesheets/editor.scss */
.editor #output {
  padding: 0;
  border: 2px solid black;
  background-color: black;
}

/* line 150, app/assets/stylesheets/editor.scss */
.editor .xterm {
  padding: 5px;
}
/* line 1, app/assets/stylesheets/user_live.scss */
.user_live {
  border: 1px solid black;
  width: 500px;
  height: 400px;
  display: inline-block;
}

/* line 7, app/assets/stylesheets/user_live.scss */
.user_live p {
  height: 1.2em;
  margin: 0;
  background: #e8e8e8;
  padding-left: 0.2em;
  padding-top: 0.2em;
  padding-bottom: 0.2em;
}

/* line 16, app/assets/stylesheets/user_live.scss */
.user_live .cm-editor {
  max-height: calc(100% - 1.6em);
}
/*
 * This is a manifest file that'll be compiled into application.css, which will include all the files
 * listed below.
 *
 * Any CSS (and SCSS, if configured) file within this directory, lib/assets/stylesheets, or any plugin's
 * vendor/assets/stylesheets directory can be referenced here using a relative path.
 *
 * You're free to add application-wide styles to this file and they'll appear at the bottom of the
 * compiled file so the styles you add here take precedence over styles defined in any other CSS
 * files in this directory. Styles in this file should be added after the last require_* statement.
 * It is generally better to create a new file per style scope.
 *


 */