@keyframes spin {
  from {
    transform: rotate(0deg); }
  to {
    transform: rotate(360deg); } }
.no-padding {
  padding: 0 !important; }

.clear-right {
  clear: right; }

.model-thumbnail {
  width: 100%; }

.main-votes {
  position: absolute;
  top: 0;
  right: 0;
  background-color: #6195FF;
  color: #fff;
  padding: 0 5px; }

.singular-votes {
  background: none;
  cursor: pointer;
  margin-bottom: 10px;
  -webkit-user-select: none;
  /* Safari */
  -moz-user-select: none;
  /* Firefox */
  -ms-user-select: none;
  /* IE10+/Edge */
  user-select: none;
  /* Standard */ }
  .singular-votes:hover {
    opacity: 0.8; }
  .singular-votes span, .singular-votes a span {
    color: #fff;
    padding: 5px;
    margin-left: -5px;
    background-color: #6195FF; }
    .singular-votes span.voted, .singular-votes a span.voted {
      background-color: #ff6161; }

.nav-tabs {
  border-bottom: none !important; }

.python-form, .latex-container {
  padding: 15px;
  border: 1px solid transparent;
  border-color: #dee2e6 #dee2e6 #fff; }

.mjx-chtml {
  margin: 0 !important;
  white-space: initial !important;
  overflow: hidden; }

.work {
  overflow: hidden; }

#latex-tabs li, #py-tabs li {
  max-width: 50%;
  width: inherit; }

.title-container {
  position: relative;
  margin-right: 10px; }
  .title-container .close {
    position: absolute;
    right: 5px; }

.editor-container {
  position: relative;
  height: 80vh;
  display: block; }

.editor {
  position: absolute !important;
  top: 0;
  left: 0;
  bottom: 0;
  right: 0; }

.btn-block {
  padding: 15px 0;
  margin: 15px 0; }

.hidden {
  display: none !important; }

.delete-model {
  display: inline-block;
  margin-left: 20px; }
  .delete-model button {
    display: block; }

.profile-box {
  margin: 0;
  background-clip: border-box;
  border: 1px solid rgba(0, 0, 0, 0.125);
  border-radius: .25rem;
  box-sizing: border-box;
  overflow: hidden; }
  .profile-box .img-container {
    min-width: 220px; }
    .profile-box .img-container img {
      width: 200px;
      height: 200px;
      padding: 0;
      margin: 0;
      background-clip: border-box;
      border: 1px solid rgba(0, 0, 0, 0.125);
      border-radius: .25rem;
      box-sizing: border-box; }

.input {
  min-width: 130px; }

#python-output {
  padding: 0 30px; }

#loading-container {
  height: 50px; }

#error-container {
  height: 50px;
  position: absolute;
  top: 24%;
  left: 30%;
  color: black; }

.load-data {
  border: 7px solid #1f292d;
  /* Light grey */
  border-top: 7px solid white;
  /* Blue */
  border-radius: 50%;
  width: 50px;
  height: 50px;
  display: inline-block;
  animation-name: spin;
  animation-duration: 1000ms;
  animation-iteration-count: infinite;
  animation-timing-function: linear; }

/*# sourceMappingURL=style.css.map */