@font-face {
  font-family: 'Linux Libertine';
  src: url('/font/LinuxLibertine-Regular.woff2') format('woff2');
  font-display: swap;
}

@font-face {
  font-family: 'Linux Libertine';
  src: url('/font/LinuxLibertine-Italic.woff2') format('woff2');
  font-style: italic;
  font-display: swap;
}

:root {
  /* Must sync these with the colours in util/Color.js */
  --boundary-color: #c70a2d;
  --interior-color: #0a85c7;
  --hover-color: #ed9907;
  --face-label-color: #18ab88;

  --anim-duration: 0.11s;
}

* { box-sizing: border-box; }

body {
  margin: 0;
  padding: 0;
  color: #333;
  background-color: #f9f9f6;
  hyphens: auto;
}

h1, h2, h3, .idyll-text-container .katex-display, .idyll-text-container p,
.idyll-text-container > img, .idyll-text-container > ol,
.idyll-text-container > ul, .idyll-text-container > pre,
.half-edge-stepper {
  max-width: 550px;
}

.idyll-root {
  margin: 80px auto;
  padding: 0;
  max-width: 900px;

  font-family: "Linux Libertine", "Linux Libertine O", "KaTeX_Main", serif;
  font-size: 1.1rem;
  line-height: 1.5;
}

hr { margin: 2em 0; }

h1 {
  margin: 0;
  font-weight: normal;
  font-style: italic;
  font-size: 2.4em;
}

.subtitle {
  margin: 0;
}

h2, h3 {
  margin: 1em 0em 0.5em;
}

h2 {
  font-size: 1.5em;
  font-style: italic;
  font-weight: normal;
}

h3 {
  font-size: 1.12em;
  font-weight: bold;
}

code {
  letter-spacing: -0.03em;
  font-stretch: condensed;
  hyphens: none;
}

pre {
  padding-left: 2em;
  line-height: 120%;
  font-size: 0.95em;
}

.aside-container, aside {
  box-sizing: content-box;
  float: right;
  clear: right;
  font-size: 0.88em;
  width: 300px;
  margin: 0 0 15px 15px;
  position: relative;
}

svg {
  width: 100%;
  height: auto;
}

span.katex { font-size: 1em; }

em > sup, em > sub {
  font-style: normal;
}

.sc {
  font-variant: small-caps;
  letter-spacing: 0.03em;
  margin-right: -0.03em;
}

a:link, a:visited, a:active, a:hover { color: currentColor; }

.can-hover {
  text-decoration: underline;
  text-decoration-style: dashed;
  text-decoration-color: #3c94ea;
  color: #0e4781;
  border-radius: 2px;
  cursor: help;
}

.can-hover:hover {
  background-color: #ffbb6688;
}

::-moz-selection { background: #bef; }
::selection { background: #bef; }

/* Triangle figure */

.triangle-fig {
  font-size: 0.75em;
  font-style: italic;
  fill: currentColor;
}

.triangle-fig text, .triangle-fig circle {
    -webkit-transition: fill var(--anim-duration) ease-out;
    -moz-transition: fill var(--anim-duration) ease-out;
    -o-transition: fill var(--anim-duration) ease-out;
  transition: fill var(--anim-duration) ease-out;
}

.triangle-fig .hover {
  fill: #e68000;
}

.triangle-fig [id^='incident-face'] {
  opacity: 0.1;
    -webkit-transition: opacity var(--anim-duration) ease-out;
    -moz-transition: opacity var(--anim-duration) ease-out;
    -o-transition: opacity var(--anim-duration) ease-out;
  transition: opacity var(--anim-duration) ease-out;
}

.triangle-fig .hover[id^='incident-face'] {
  opacity: 0.5;
}

.triangle-fig .line {
  stroke: currentColor;
    -webkit-transition: stroke var(--anim-duration) ease-out;
    -moz-transition: stroke var(--anim-duration) ease-out;
    -o-transition: stroke var(--anim-duration) ease-out;
  transition: stroke var(--anim-duration) ease-out;
}

.triangle-fig .hover .line {
  stroke: #e68000;
}

/* Main vis */

.half-edge-vis > .pin-container, .consistency-checker {
  display: grid;
  margin: 32px 0;
  width: 100%;
  grid-template-columns: repeat(2, 1fr);
  grid-gap: 16px;
  align-items: center;
}

.half-edge-vis, .consistency-checker .half-edge-tables {
  font-size: 0.84em;
}

.half-edge-stepper {
  margin: 32px 0;
  text-align: center;
}

.pinned {
  position: sticky;
  top: 0;
  left: 0;
  margin: 0;
  background-color: #f9f9f6;
}

.half-edge-tables {
  width: 100%;
  display: grid;
  grid-template-columns: 1.618fr 1fr;
  grid-gap: 16px;
}

.consistency-checker .half-edge-tables {
  grid-column: 2;
}

div.vertices, div.faces {
  grid-row: 2;
}

div.half-edges {
  grid-column: 1 / 3;
}

textarea, code {
  font-family: "Roboto Mono", Monaco, monospace;
  font-size: 0.83em;
}

textarea {
  width: 100%;
  height: 100%;
  resize: none;
  border: 1px solid currentColor;
  padding: 10px;
}

table {
  width: 100%;

  border-collapse: collapse;
}

thead {
  font-weight: bold;
}

th {
  background-color: rgba(0, 0, 0, 0.02);
}

td, th {
  border: 1px solid #ccc;
  padding: 1px 8px;
  text-align: center;
}

h4 {
  margin: 0;
  font-size: 1.25em;
  font-variant: small-caps;
  text-transform: lowercase;
  letter-spacing: 0.15em;
}

.pin-checkbox-container {
  text-align: right;
}

.error {
  color: #f30;
  fill: currentColor;
}

sub, sup {
  font-size: 0.75em;
}

td {
    -webkit-transition: background-color var(--anim-duration) ease-out;
    -moz-transition: background-color var(--anim-duration) ease-out;
    -o-transition: background-color var(--anim-duration) ease-out;
  transition: background-color var(--anim-duration) ease-out;
}

td.changed {
  background-color: rgba(7, 214, 237, 0.1);
}

td.inconsistent {
  border: 3px solid red;
}

td.hover {
  background-color: rgba(237, 153, 7, 0.5);
}

td.boundary {
  color: var(--boundary-color);
}

td.interior {
  color: var(--interior-color);
}

.half-edge-diagram text {
  cursor: default;
  /* set label anchors to centre of text box */
  text-anchor: middle;
  dominant-baseline: middle;
  font-style: italic;
  font-size: 1.3em;
}

.half-edge-diagram .error {
  text-anchor: initial;
  dominant-baseline: initial;
}

.interior.edge, .boundary.edge {
  stroke-width: 2;
  font-style: italic;
    -webkit-transition: stroke var(--anim-duration) ease-out;
    -moz-transition: stroke var(--anim-duration) ease-out;
    -o-transition: stroke var(--anim-duration) ease-out;
  transition: stroke var(--anim-duration) ease-out;
}

.interior.edge {
  stroke: var(--interior-color);
  marker-end: url(#head_blue);
}

.boundary.edge {
  stroke: var(--boundary-color);
  marker-end: url(#head_red);
}

.edge.hover {
  stroke: var(--hover-color);
  marker-end: url(#head_orange);
}

.boundary.edge text, .interior.edge text {
  stroke: none;
    -webkit-transition: fill var(--anim-duration) ease-out;
    -moz-transition: fill var(--anim-duration) ease-out;
    -o-transition: fill var(--anim-duration) ease-out;
  transition: fill var(--anim-duration) ease-out;
}

.boundary.edge text {
  fill: var(--boundary-color);
}

.interior.edge text {
  fill: var(--interior-color);
}

.edge.hover text {
  fill: var(--hover-color);
}

.vertex {
  cursor: default;
  fill: #444;
    -webkit-transition: fill var(--anim-duration) ease-out;
    -moz-transition: fill var(--anim-duration) ease-out;
    -o-transition: fill var(--anim-duration) ease-out;
  transition: fill var(--anim-duration) ease-out;
}

.vertex-label {
  fill: #fff;
  font-style: italic;
}

/* subscript */
.vertex-label tspan, .face tspan, .edge tspan {
  font-size: 0.75em;
  font-style: normal;
}

.vertex.hover {
  fill: var(--hover-color);
}

.face {
  fill: var(--face-label-color);
  font-style: italic;
}

.face.hover {
  fill: var(--hover-color);
}