@import url(light.css) (prefers-color-scheme: light);
@import url(../third-party/prism/light.css) (prefers-color-scheme: light);

@import url(dark.css) (prefers-color-scheme: dark);
@import url(../third-party/prism/dark.css) (prefers-color-scheme: dark);

body {
  font-family: "Trebuchet MS", Tahoma, Georgia, Garamond;
}

pre {
  border: 1px solid black;
  padding: 0.7rem 1rem;
  display: inline-block;
  margin: 1rem auto;
  text-align: left;
  font-size: 12pt;
  overflow-x: auto;
  max-width: 90%;
}

.container {
  max-width: 90%;
  margin: 0 auto;
}

@media screen and (min-width: 768px) {
  .container {
    max-width: 600px;
    margin: 0 auto;
  }
}

.subtitle {
  font-size: 1.2em;
  margin-bottom: 3rem;
}

.web-ui-upload {
  display: flex;
  flex-direction: column;
  align-items: flex-start;
}

.upload-form {
  max-width: 100%;
  display: flex;
  flex-direction: column;
}

@media screen and (min-width: 768px) {
  .upload-form {
    width: 400px;
    max-width: 400px;
  }
}

button {
  cursor: pointer;
  display: inline-block;
  padding: 0.35em 1.2em;
  border-radius: 0.2em;
  box-sizing: border-box;
  text-align: center;
  transition: all 0.2s;
  font-size: 1.05em;
  border-width: 0.1em;
  border-style: solid;
}

.upload-form {
  max-width: 100%;
  width: 100%;
}

@media screen and (min-width: 600px) {
  .upload-form {
    width: 500px;
  }
}

#upload-textarea {
  width: 100%;
  max-width: 100%;
  height: 100px;
  box-sizing: border-box;
  -moz-box-sizing: border-box;
  -webkit-box-sizing: border-box;
  margin: 1rem 0;
  padding: 0.5rem;
  border-width: 1px;
}

.button-row {
  margin-left: auto;
}

#result {
  visibility: hidden;
  padding: 1.5rem 1.75rem;
  border-width: 1px;
  border-style: solid;
  margin: 1rem auto 0 auto;
}

@media screen and (min-width: 600px) {
  #result {
    margin: 2rem 0 0 0;
  }
}

#result h3 {
  margin: 0 auto 1rem auto;
  text-align: center;
}

#form-upload-error {
  visibility: hidden;
  padding: 1rem 0.75rem;
  border-width: 1px;
  border-style: solid;
}

#more-info {
  margin-bottom: 5rem;
}

.footer {
  margin-bottom: 5rem;
}