isoterm/app/style.css

A Terminal With Precisely Configurable Fonts Using CSS Unicode Ranges

@font-face { font-family: 'flow';  src: url( './fonts/sunflower-exta-201903.ttf'  ); unicode-range: U+00000-10fff; }
@font-face { font-family: 'flow';  src: url( './fonts/iosevka-slab-regular.ttf'   ); unicode-range: U+00000-04dff; }
@font-face { font-family: 'flow';  src: url( './fonts/jizura3b.ttf'               ); unicode-range: U+0e000-0e3ff; }
@font-face { font-family: 'flow';  src: url( './fonts/sunflower-u-cjk-xb.ttf'     ); unicode-range: U+20000-2ffff; }
@font-face { font-family: 'flow';  src: url( './fonts/HanaMinA.ttf'               ); unicode-range: U+2a700-2b73f; }
/* @font-face { font-family: 'flow';  src: url( './fonts/MesloLGS NF Regular.ttf'    ); unicode-range: U+e0b0-e0d4, U+f000-f8ff; } */


body {
  font-family: sans-serif, arial;
  font-size: 5mm;
  color: #111;
  background-color: #6a85a1;
  margin:                 0mm;
  padding:                0mm; }

h1 {
  text-align: center;
}

#terminal-container {
  /*width: 800px;*/
  /*width: 100%;*/
  width:  100cm;
  height: 450px;
  margin: 0 auto;
  padding: 2px;
}

p {
  font-size: 0.9em;
  font-style: italic
}

#option-container {
  display: flex;
  justify-content: center;
}

.option-group {
  display: inline-block;
  padding-left: 20px;
  vertical-align: top;
}

pre {
  display: block;
  padding: 9.5px;
  font-size: 13px;
  color: #c7254e;
  background-color: #f9f2f4;
  word-break: break-all;
  word-wrap: break-word;
  white-space: pre-wrap;
}


#container {
  /*display: flex;*/
  height: 75vh;
}
#grid {
  flex: 1;
  /* max-height: 80vh;
  overflow-y: auto; */
  width: 100%;
}
.tab {
  overflow: hidden;
  border: 1px solid #ccc;
  background-color: #f1f1f1;
}

/* Style the buttons inside the tab */
.tab button {
  background-color: inherit;
  float: left;
  border: none;
  outline: none;
  cursor: pointer;
  padding: 14px 16px;
  transition: 0.3s;
  font-size: 17px;
}

/* Change background color of buttons on hover */
.tab button:hover {
  background-color: #ddd;
}

/* Create an active/current tablink class */
.tab button.active {
  background-color: #ccc;
  }

/* Style the tab content */
.tabContent {
  display: none;
  padding: 6px 12px;
  border: 1px solid #ccc;
  border-top: none;
  max-height: 100vh;
  overflow-y: auto;
}