.katex {
  font-family: inherit !important;
}

.katex .mathdefault {
  font-family: inherit !important;
}

:root {
    --grid-columns: 9;
    --grid-rows: 11;
}

body {
    --color-bkg: white;
    --color-bkg-soft: #eee;
    --color-bkg-softer: #ddd;
    --color-bkg-softest: #ccc;
    --color-text: #111;
    --color-border: rgb(43, 43, 43);
    --color-border-hover: rgb(204, 0, 0);
    --color-highlight: yellow;
    --border-normal: 1px solid var(--color-border);
    --color-debug: var(--color-bkg);
    --color-debug-on: rgb(0, 168, 34);
    --color-x: #23a01a;
    --color-y: #9737c7;
    /* font-family: sans-serif; */
}

body.dark-mode {
    --color-bkg: black;
    --color-bkg-soft: #111;
    --color-bkg-softer: #222;
    --color-bkg-softest: #333;
    --color-text: #eee;
    --color-border: rgb(137,137, 137);
    --color-border-hover: rgb(255, 0, 0);
    --color-highlight: rgb(11, 0, 137);
    --color-debug-on: rgb(0, 170, 34);
    --color-x: #11a506;
    --color-y: #c65afc;
}

body.debug-mode {
    --color-debug: var(--color-debug-on);
}

/* div {
  border: 1px solid var(--color-debug);
} */

/* div {
  display: flex;
  margin: auto;
} */

body {
    display: grid;
    gap: 0.5rem;

    grid-template-columns: repeat(auto-fit, minmax(20em, 1fr));

    background-color: var(--color-bkg-softest);
    color: var(--color-text);
    /* border: var(--border-normal); */
}

body.dark-mode img {
    filter: invert(100%) sepia(0%) saturate(7500%) hue-rotate(43deg) brightness(112%) contrast(103%);
}

.debug {
  font-family: monospace;
  color: var(--color-debug);
}

partition {
    /* border: var(--border-normal); */
    padding: 1rem;
    /* border-width: 0.5em; */
    /* border-color: ; */
  background-color: var(--color-bkg-soft);

}

/* window {
    position: relative;
    padding: 3rem;
    margin: 2rem;
    border: 1px solid var(--color-debug);
} */


.hidden {
    display: none;
}

.faded {
    opacity: 0.33;
    pointer-events: none;
}

/* #show-alt-form {
  float: right;
  /* position: absolute; */
    /* left: 90%; */
    /* right: 1%; */

.top-bar {
  display: flex;
  justify-content: center;
  background-color: var(--color-bkg-softer);
  border: var(--border-normal);
  padding: 0.2em;
  margin-bottom: 0.5em;
}

#intro {
  display: flex;
  justify-content: center;
  font-size: x-large;
}

#algorithm-grid {
    display: grid;
    grid-template-columns: repeat(var(--grid-columns), minmax(0, 1fr));
    grid-template-rows: repeat(var(--grid-rows), minmax(0, 1fr));
}

/* test with 1001,1001 - longest */
/* windows firefox - 30px, 1.8em */
/* android firefox - ? */
#formula-big, #formula-result {
  font-size: 1.8em;
}

#formula-result, #equals {
    flex: 1;
    text-align: center;
}

#formula-big img {
    display: flex;
    margin-left: auto;
    margin-right: auto;
    object-fit: contain;
}

#var-x, #var-y {
  font-weight: bold;
}

#var-x {
  color: var(--color-x);
}

#var-y {
  color: var(--color-y);
}

#cyoa {
  text-align: left;
  font-size: larger;
}

subclause {
  margin-left: 0.16em;
  margin-right: 0.16em;
}

select {
  font-size: large;
  background-color: var(--color-bkg-softer);
  color: var(--color-text);
}

input {
  background-color: var(--color-bkg-softer);
  color: var(--color-x);
  font-weight: bold;
  font-size: large;
  width: 2em;
}








grid-cell {
    display: flex;
    align-items: center;
    user-select: none;
}

grid-cell.algorithm {
    margin: 2px;
    border: var(--border-normal);
    background: var(--color-bkg-softer);
    cursor: pointer;
}

grid-cell.algorithm img {
    margin-left: auto;
    margin-right: auto;
    max-width: 45%;
/*  max-width: 90%*/
    min-height: 80%;
}

grid-cell.algorithm:hover {
    border-color: var(--color-border-hover);
}

grid-cell.algorithm.highlighted {
    background-color: var(--color-highlight);
}

button {
   /* padding: 5px 1px; */
    padding: .3em .6em;
    font-size: large;
    background-color: var(--color-bkg-softer);
    color: var(--color-text);
    border-color: var(--color-border);
}

button:hover {
    border-color: var(--color-border-hover);
}

/* #to-options, #to-sidebar {
    float: right;
} */




.large-text {
    font-size: x-large;
}




/* For both checkboxes and radio buttons */
input[type="checkbox"],
input[type="radio"] {
  width: 1em;
  height: 1em;
}

/* Adjustments for radio buttons to maintain circular shape */
input[type="radio"] {
  border-radius: 50%;
}




   /* Style the button that is used to open and close the collapsible content */
.collapsible {
    background-color: var(--color-bkg-softer);
    color: var(--color-text);
    cursor: pointer;
    padding: 18px;
    width: 100%;
    border: none;
    text-align: left;
    outline: none;
    font-size: 15px;
  }
  
  /* Add a background color to the button if it is clicked on (add the .active class with JS), and when you move the mouse over it (hover) */
  .active, .collapsible:hover {
    background-color: #6b6b6b;
  }
  
  /* Style the collapsible content. Note: hidden by default */
  .content {
    padding: 0 18px;
    background-color: rgb(131, 105, 105);
    max-height: 0;
    overflow: hidden;
    transition: max-height 0.2s ease-out;
  }



#x-val, #y-val {
    border-color: var(--color-text);
    color: var(--color-text);
    font-size: x-large;
}

#x-val {
    background-color: var(--color-blue-variable);
}

#y-val {
    background-color: var(--color-red-variable);
}

#x-val-parameters, #y-val-parameters {
  display: flex;
}




  table {
    border-collapse: collapse;
    margin-left: auto;
    margin-right: auto;
  }
  th, td {
    padding: 2px;
    text-align: center;
    vertical-align: middle;
  }
  th {
    border: none;
  }
  td {
    border: var(--border-normal);
  }








/* #notation-table {
    display: flex;
    min-height: 80%;
    width: 100%;
} */