body {
  margin: 0px;
  padding: 0px;
  font: 14px "Lucida Grande", Helvetica, Arial, sans-serif;
}

a {
  color: #00B7FF;
}

.logo {
  display: inline-block;
  overflow: hidden;
  object-fit: cover;
}

.logo img {
  display: inline-block;
  width: 40px;
  height: 40px;
}

.profile-picture {
  display: block;
  width: 40px;
  height: 40px;
  border-radius: 50%;
  overflow: hidden;
  border: 1px solid #747775;
  object-fit: cover;
}

.profile-picture img {
  width: 100%;
  height: 100%;
}

#content {
  display: grid;
  grid-template-rows: auto 1fr auto;
  height: 100vh;
}

#top-bar {
  display: flex;
  justify-content: space-between;
  padding-top: 8px;
  padding-bottom: 8px;
  padding-left: 16px;
  padding-right: 16px;
  border-bottom: 1px solid #cacccb;
}

#ide {
  display: grid;
  grid-template-columns: 1fr 1fr;
  height: auto;
}

#ide > :first-child {
  border-right: 1px solid #cacccb;
}

#source-pane {
  position: relative;
  display: grid;
  grid-template-rows: auto 1fr auto;
  width: auto;
  height: auto;
}

#editor {
  position: relative;
  width: auto;
  height: auto;
  font: 14px "Consolas", "Monaco", "Lucida Console", "Courier New", monospace;
  border-top: 1px solid #cacccb;
}

#exec-pane {
  position: relative;
  display: grid;
  grid-template-rows: auto auto 1fr auto;
  width: auto;
  height: auto;
}

#output {
  position: relative;
  width: auto;
  height: auto;
  font: 14px "Consolas", "Monaco", "Lucida Console", "Courier New", monospace;
  border-top: 1px solid #cacccb;
}

.center-message {
  display: grid;
  padding-top: 10em;
  place-items: center;
  /* height: 100vh; */
}

#account-toggle {
  cursor: pointer;
}

#account-toggle:not(:disabled):hover {
  -webkit-box-shadow: 0 1px 2px 0 rgba(60, 64, 67, .30), 0 1px 3px 1px rgba(60, 64, 67, .15);
  box-shadow: 0 1px 2px 0 rgba(60, 64, 67, .30), 0 1px 3px 1px rgba(60, 64, 67, .15);
  border: 1px solid #404240;
}

.mini-modal {
  display: none;
  position: fixed;
  z-index: 1;
  right: 60px;
  top: 50px;
  /* width: 100%;
  height: 100%; */
  border-radius: 20px;
  -webkit-box-shadow: 0 1px 2px 0 rgba(60, 64, 67, .30), 0 1px 3px 1px rgba(60, 64, 67, .15);
  box-shadow: 0 1px 2px 0 rgba(60, 64, 67, .30), 0 1px 3px 1px rgba(60, 64, 67, .15);
}

.mini-modal .modal-content {
  background-color: #f0f8ff;
  border: 1px solid #cacccb;
  border-radius: 20px;
  width: 100%;
}

.mini-modal .modal-body {
  margin-top: 1em;
  margin-bottom: 1em;
  margin-left: 2em;
  margin-right: 2em;
  text-align: center;
}

.mini-modal .close {
  color: #545755;
  float: right;
  margin-top: 4px;
  margin-right: 4px;
  margin-left: auto;
  border: none;
  /* border: 1px solid rgba(1, 1, 1, 0); */
  background: transparent;
  /* font-size: 24px; */
  /* font-weight: bold; */
}

.mini-modal .close:hover,
.mini-modal .close:focus {
  color: black;
  border: none;
  /* border: 1px solid #747775; */
  background-color: rgba(0, 0, 0, 0.2);
  text-decoration: none;
  cursor: pointer;
}

.select-modal {
  display: none;
  position: fixed;
  z-index: 1;
  right: 60px;
  top: 50px;
  /* width: 100%;
  height: 100%; */
  border-radius: 8px;
  -webkit-box-shadow: 0 1px 2px 0 rgba(60, 64, 67, .30), 0 1px 3px 1px rgba(60, 64, 67, .15);
  box-shadow: 0 1px 2px 0 rgba(60, 64, 67, .30), 0 1px 3px 1px rgba(60, 64, 67, .15);
}

.select-modal .modal-content {
  background-color: #f0f8ff;
  border: 1px solid #cacccb;
  border-radius: 8px;
  width: 100%;
}

.select-modal .modal-body {
  margin-top: 1em;
  margin-bottom: 1em;
  margin-left: 2em;
  margin-right: 2em;
  text-align: center;
}

.select-modal .close {
  color: #545755;
  float: right;
  margin-top: 4px;
  margin-right: 4px;
  margin-left: auto;
  border: none;
  /* border: 1px solid rgba(1, 1, 1, 0); */
  background: transparent;
  /* font-size: 24px; */
  /* font-weight: bold; */
}

.select-modal .close:hover,
.select-modal .close:focus {
  color: black;
  border: none;
  /* border: 1px solid #747775; */
  background-color: rgba(0, 0, 0, 0.2);
  text-decoration: none;
  cursor: pointer;
}

#examples-modal {
  position: absolute;
  right: 102px;
}

#sources-modal {
  position: absolute;
  right: 16px;
}

#examples-modal .modal-body,
#sources-modal .modal-body {
  text-align: left;
}

.error-log {
  color: #b02000;
}

.no-wrap {
  white-space: pre;
  overflow-x: auto;
}

#generation-stdout {
  width: 100%;
  height: 100%;
  resize: none;
}