@import url("https://fonts.googleapis.com/css2?family=Source+Code+Pro&display=swap");

body {
  --font-family: serif;
  --font-size: 12pt;
  font-family: var(--font-family);
  font-size: var(--font-size);
}

button {
  font-size: calc(var(--font-size) * (5 / 6));
  font-family: var(--font-family);
}

table {
  border-collapse: collapse;
  border-spacing: 0;
  border-width: 3px;
  border-style: solid;
  border-color: black;
}

td,
th {
  padding: 0.2em;
}

td {
  border: 1px solid black;
}

th {
  border: 1px solid black;
  border-bottom: 3px solid black;
}

code {
  font-family: "Source Code Pro", monospace;
  padding: 0 0.25em;
  color: #d14;
  background-color: #f7f7f9;
  border: 0.0625em solid #e1e1e8;
  border-radius: 0.1875em;
}

.unknownFilterQuestion {
  font-style: italic;
  color: red;
  font-weight: bold;
}

.emptyTable {
  font-style: italic;
  color: #880;
  text-align: center;
}

.internalNotes {
  font-family: "Dancing Script", cursive;
  color: darkorange;
}

#otherSymbolsInUse td:first-child,
#suggestedSymbols td:first-child {
  line-height: 1.5;
}

.matchingText {
  font-weight: bold;
  color: blue;
}

h1 {
  display: flex;
  justify-content: space-between;
  background: linear-gradient(
    180deg,
    rgba(0, 0, 0, 0.125) 0%,
    rgba(0, 0, 0, 0) 100%
  );
}