/* TSOS.css */

body {
  font-size: 12pt;
  font-weight: normal;
  font-style: normal;
}

#divMain {
  display: flex;
  flex-direction: column;
  width: 100%;
}

.mtable {
  height: 400px !important;
}

.boxes {
  display: flex;
  justify-content: space-between;
  gap: 10px;
}

#divConsole {
  margin-top: 15px;
  display: flex;
  flex-direction: column;
}

#taskBar {
  display: flex;
  justify-content: space-between;
  padding: 10px;
  margin-top: 4px;
  margin-bottom: 4px;
}

#divButtonBar {
  margin: 6px;
  display: flex;
  justify-content: space-between;
}

h1 {
  color: black;
  font-size: 24pt;
  font-weight: normal;
  font-style: normal;
  border-bottom: 1px solid black;
}

h2 {
  color: black;
  font-size: 20pt;
  font-weight: normal;
  font-style: normal;
}

h3 {
  font-family: Helvetica, Verdana, Arial, sans-serif;
  font-size: 16pt;
  font-weight: normal;
  font-style: normal;
}

.tableContainer {
  height: 220px !important;
  overflow: hidden;
  overflow-y: scroll;
}

.w {
  width: 67%;
  height: 220px !important;
  overflow: scroll;
}

#display {
  background-color: #f7f7f7;
  border: 2px solid red;
  cursor: default;
}

#divLog {
  display: flex;
  flex-direction: column;
}

#divUserProgramInput {
  display: flex;
  flex-direction: column;
}

.normal_button {
  width: 100px;
}

.footerText {
  color: black;
  font-family: Arial, Helvetica, sans-serif;
  font-size: 8pt;
  text-align: center;
}

@media (min-height: 800px) {
  .footerText {
    position: fixed;
    bottom: 0;
    left: 0;
    width: 100%;
    margin-bottom: 10px;
  }
}