body {
  background-color: #fff7ff;
}
@media (min-width: 500px) {
  body {
    background-image: url("Background.gif");
    background-repeat: no-repeat;
    background-attachment: fixed;
  }
}
#ribbon {
  display: none;
}
@media (min-width: 700px) {
  #ribbon {
    display: inline-block;
    position: absolute;
    top: 0;
    left: 0;
    transform: rotate(-45deg) translate(-65px, -10px) scale(0.9);
    padding: 5px 50px;
    color: white;
    background: black;
  }
  #ribbon a {
    color: white;
    text-decoration: none;
  }
  body {
    background-position: top right;
  }
}
main {
  width: 100%;
  max-width: 500px;
  margin-left: auto;
  margin-right: auto;
  position: absolute;
  top: 80px;
  --lineNumbersWidth: 60px;
}
header,
footer {
  width: 100%;
  text-align: center;
  font-family: Arial;
  line-height: 100%;
}
#authors {
  font-size: 0.8em;
}
#authors a {
  color: blue;
  font-weight: bold;
}
footer {
  width: calc(100% - 2 * 5px);
  max-width: calc(500px - 2 * 5px);
  position: absolute;
  top: 1390px;
  left: 50%;
  transform: translate(-50%, 0);
  padding-bottom: 20px;
  margin-left: 5px;
  margin-right: 5px;
}
h1 {
  margin-bottom: 5px;
}
#lineNumbers {
  width: 60px; /*Fallback for browsers which do not support "var".*/
  width: var(--lineNumbersWidth);
  margin-right: 0;
  font-family:
    Courier New,
    monospace;
  display: inline-block;
  text-align: right;
  background: #aaaaaa;
  height: 100vh;
  max-height: 400px;
  position: absolute;
  overflow: hidden;
  font-size: 1em;
  border-top-left-radius: 5px;
  border-bottom-left-radius: 5px;
}
#assemblyCode {
  margin: 0;
  width: calc(
    100% - 70px
  ); /* I am not sure breaking compatibility
      * with Firefox 52 (probably the most
      * advanced browser which can run on
      * Windows XP, but it does not support
      * CSS "var" function) is acceptable today.
      */
  width: calc(100% - var(--lineNumbersWidth) - 10px);
  padding-left: 5px;
  font-family:
    Courier New,
    monospace;
  text-align: left;
  display: inline-block;
  background: #eeeeee;
  height: 100vh;
  max-height: 400px;
  position: absolute;
  left: 60px;
  left: var(--lineNumbersWidth);
  overflow: scroll;
  white-space: pre;
  font-size: 1em; /* Microsoft Edge seems to have some weird ideas
                   * about how font size should be smaller in <pre>
                   * than in <div>.
                   */
  border-top-right-radius: 5px;
  border-bottom-right-radius: 5px;
}
.comment {
  color: #333333;
  font-style: italic;
}
.mnemonic {
  color: #000077;
  font-weight: bold;
}
.register {
  color: #773300;
  font-weight: bold;
}
#buttons {
  top: 400px;
  position: absolute;
  width: 100%;
  text-align: center;
}
.flag {
  color: #007700;
  font-weight: bold;
}
.label {
  color: #770077;
}
label {
  display: block;
  font-family: Arial, Helvetica, sans-serif;
  margin-left: 8px;
  margin-top: 3px;
}
.string {
  color: #770000;
}
.number {
  color: #007777;
}
.directive {
  color: #770077;
  font-weight: bold;
}
.parenthesis {
  font-weight: bold;
}
#highlightButton {
  position: absolute;
  left: 0;
  text-align: left;
  margin-left: 0;
  float: left;
}
#assembleButton {
  position: absolute;
  right: 5px;
  text-align: right;
  margin-right: 0;
  float: right;
}
@keyframes assembleButtonAnimation {
  begin {
    background: white;
  }
  50% {
    background: lightblue;
  }
  end {
    background: white;
  }
}
#assembleButton:target {
  animation: assembleButtonAnimation 2s infinite;
}
#whyClickAssemble {
  position: absolute;
  top: 450px;
  width: calc(100% - 10px);
  text-align: justify;
  font-family: sans-serif;
  left: 50%;
  transform: translateX(-50%);
}
#divWithMachineCode {
  position: absolute;
  width: calc(100% - 5px);
  background: white;
  height: 100vh;
  top: 450px;
  overflow: scroll;
  max-height: 400px;
  margin-bottom: 10px;
}
#warningAboutJavaScript {
  display: block;
  justify-content: center;
  text-align: center;
  align-items: center;
  height: 100%;
  font-weight: bold;
  font-family: Arial;
  margin-top: auto;
  margin-bottom: auto;
  margin-right: 25px;
  margin-left: 10px;
  max-width: 450px;
}
table,
th,
td {
  border: 1px solid black;
  border-collapse: collapse;
}
th {
  font-family: Arial, Sans-Serif;
}
td {
  font-family:
    Courier New,
    monospace;
  text-align: center;
}
td:nth-child(1) {
  text-align: right;
  font-weight: bold;
}
#machineCode {
  width: calc(100% - 10px);
  margin: 5px;
}
table {
  margin-left: auto;
  margin-right: auto;
  margin-top: 5px;
  margin-bottom: 5px;
}
#simulationButtons {
  top: 855px;
  position: absolute;
  width: 100%;
  height: 50px;
  text-align: center;
}
#simulationResults {
  top: 910px;
  position: absolute;
  width: calc(100% - 8px);
  height: 100vh;
  max-height: 400px;
  overflow: scroll;
  background-color: white;
  margin-bottom: 15px;
}
input {
  width: 30px;
}
.regbank_b {
  font-style: italic;
}
.active {
  background: white;
  color: black;
}
.inactive {
  background: black;
  color: white;
  border-color: white;
}
tr:last-child td.inactive {
  border-bottom-color: black;
}
.changed,
.turning_off {
  background: lightGreen;
  color: black;
  font-weight: bold;
}
.turning_off {
  background: red;
}
#interrupt_flag {
  font-style: normal;
}
.tooltip {
  display: none;
}
button:hover .tooltip {
  display: block;
  position: absolute;
  background: #ffffaa;
  z-index: 10;
  padding: 2px;
  font-style: italic;
  font-family: Times;
}
.exampleCodeLink {
  margin: 5px;
  width: 120px;
  flex-shrink: 0;
  align-items: center;
  justify-content: center;
  height: 150px;
  background: white;
  text-align: center;
  border-radius: 10px;
  box-shadow: 3px 5px 5px black;
}
.exampleCodeLink:hover {
  background: lightGray;
  transition-delay: 250ms;
  transition-duration: 250ms;
}
.exampleCodeLink:last-child {
  margin-right: 7.5px;
}
.exampleCodeLink:first-child {
  margin-left: 7.5px;
}
.exampleCodeLink:last-child::after {
  /*
  Firefox 52, apparently, ignores margin-right on the last element of the
  flexbox. So, let's solve it somewhow differently.
  */
  content: "   ";
  display: block;
  width: 1px;
  flex-shrink: 0;
  white-space: pre;
}
#divWithExamples {
  background: #ffffee;
  font-family: Arial;
  width: calc(100% - 7px);
  max-width: calc(
    500px - 7px
  ); /* To make the warning about
      * lack of support for modern
      * JavaScript legible in
      * Internet Explorer 11.
      */
  position: absolute;
  top: 405px;
  padding-left: 2px;
  border-radius: 10px;
}
.exampleCodeLink img {
  width: 100px;
  height: 100px;
  margin-left: auto;
  margin-top: 5px;
  margin-right: auto;
  background: white;
}
#examplesSpan {
  display: block;
  text-align: center;
  font-weight: normal;
  font-size: 1em;
  margin-bottom: 5px;
  margin-top: 5px;
}
#examples {
  overflow-x: scroll;
  overflow-y: hidden;
  margin: 5px;
  display: flex;
  justify-content: center;
  align-items: center;
  background: gray;
  height: 173px;
  border-radius: 10px;
}
.callForMoreExamples {
  margin: 5px;
}
#graphicalResults {
  overflow: scroll;
  position: absolute;
  top: 910px;
  height: 200px;
  width: calc(100% - 5px);
  background: white;
}
.sevenSegmentDisplay {
  background: black;
  width: 50px;
  height: 100px;
  margin: 5px;
}
.breakpoint_icon {
  display: none;
  width: calc(1em - 3px);
  height: calc(1em - 3px);
}
#register_PC {
  font-style: normal;
  /*Otherwise it will turn italic when Regbank B
    is being used, even though it stays active.*/
}
button {
  position: relative;
  /*
https://stackoverflow.com/questions/64995585/tooltips-work-in-firefox-but-not-in-chrome
  */
  background: #cccccc; /*WebPositive apparently shows
                         no background on buttons by
                         default.*/
  padding-top: 3px;
  padding-bottom: 1px;
}
#downloadHex {
  margin-top: 5px;
  margin-bottom: 5px;
  margin-left: auto;
  margin-right: auto;
  display: block;
}
textarea {
  resize: none;
  overflow: scroll;
  width: calc(100% - 3 * 8px - 2px);
  margin-left: calc(2 * 8px);
  height: 95px;
  background-color: black;
  color: aquamarine;
}
#UART_IO {
  height: 250px;
  font-size: 1em;
  position: absolute;
  width: calc(100% - 5px);
  overflow: hidden;
  background-color: azure;
  display: none;
}
#UART_OUTPUT {
  height: 95px;
  width: calc(100% - 3 * 8px);
  margin-left: calc(2 * 8px);
  overflow: scroll;
  background-color: black;
  color: aquamarine;
  margin-top: auto;
  border-style: solid;
  border-width: 2px;
  border-right-color: lightgray;
  border-bottom-color: lightgray;
  border-top-color: darkgray;
  border-left-color: darkgray;
}
#UART_enable_button {
  position: absolute;
  width: calc(100% - 5px);
  font-size: 24px;
  line-height: 36px;
}
#fetchingExamples {
  background: white;
  padding: 10px;
  margin: 10px;
}
#MIT_licence {
  background: #eeeeff;
  border-top-left-radius: 5px;
  border-top-right-radius: 5px;
  position: fixed;
  bottom: 0px;
  left: 10px;
  width: calc(100% - 20px);
  font-family: Arial;
}
#licence_message {
  float: left;
  padding-left: 10px;
  padding-top: 5px;
  padding-bottom: 5px;
  padding-right: 5px;
  text-align: center;
  width: calc(
    100% - 75px /* 75px is the width of the "Close" button. */ - 2 *
      (10px + 5px)
  );
}
#closing_the_licence {
  float: right;
  position: absolute;
  top: 50%;
  transform: translate(0, -50%);
  margin-right: 10px;
  line-height: 2em;
  width: 75px;
  background: #eeffee;
}
#warningAboutDownloadingHexadecimal {
  text-align: justify;
  font-family: Arial;
  margin-left: 5px;
  margin-right: 5px;
}
#uploadSuccessfulMessage {
  display: none;
  border-top-left-radius: 10px;
  border-top-right-radius: 10px;
  overflow: hidden;
  border-bottom-style: ridge;
  border-left-style: ridge;
  border-right-style: ridge;
  position: fixed;
  left: 50%;
  top: 50%;
  transform: translate(-50%, -50%);
  max-width: calc(100% - 10px);
  background: #ffffee;
  z-index: 100;
  box-shadow: 5px 5px 2.5px gray;
}
#messageAccompanyingTheURL {
  margin-left: 5px;
  margin-right: 5px;
}
#titleBar {
  background: linear-gradient(to right, darkBlue, #00ffff);
  color: white;
  padding-left: 10px;
  padding-right: 10px;
  padding-bottom: 5px;
  padding-top: 5px;
  font-family: sans-serif;
}
#closeButton {
  float: right;
  margin-right: 5px;
  margin-bottom: 5px;
}
#copyButton {
  float: left;
  margin-left: 5px;
  margin-bottom: 5px;
}
#shareURL {
  background: white;
  font-family: monospace;
  margin: 3px;
  border-style: solid;
  border-width: 1px;
  padding: 2px;
}
.sticky-header {
  position: sticky;
  top: 0;
  background-color: white;
}
#deleteTheProgram {
  display: none;
  grid-template-areas:
    "label label label"
    "password password password"
    ". . button";
  background-color: white;
  padding: 5px;
}
#label_for_input_password {
  grid-area: label;
}
#input_password {
  grid-area: password;
  width: calc(100% - 10px);
  margin-bottom: 5px;
}
#deleteTheProgramButton {
  grid-area: button;
  float: right;
  display: block;
}