/*   background: linear-gradient(0deg,
 *                            #373e4f 0%,
 *                            #22242f 64%,
 *                            #62575a 74%,
 *                            #ffa73c 75%,
 *                            #feea8e 77%,
 *                            #ffe1b2 82%,
 *                            #b9c4d1 100%)
 *                              */
body {
  background-color: rgb(193.8, 234.6, 248.2);
  color: rgb(38.8571428571, 68, 97.1428571429);
}

a:link, a:visited {
  color: #e67;
}

main h1, main h2, main h3, main h4, main h5, main h6 {
  color: #a37;
}

@font-face {
  font-family: "Jost";
  font-style: normal;
  src: url("Jost-VariableFont_wght.woff2") format("woff2"), local("Jost");
}
@font-face {
  font-family: "Jost";
  font-style: italic;
  src: url("Jost-Italic-VariableFont_wght.woff2") format("woff2"), local("Jost Italic");
}
@font-face {
  font-display: swap;
  font-family: "IBM Plex Sans";
  font-style: normal;
  font-weight: 100;
  src: url("ibm-plex-sans-v19-100.woff2") format("woff2");
}
@font-face {
  font-display: swap;
  font-family: "IBM Plex Sans";
  font-style: italic;
  font-weight: 100;
  src: url("ibm-plex-sans-v19-100italic.woff2") format("woff2");
}
@font-face {
  font-display: swap;
  font-family: "IBM Plex Sans";
  font-style: normal;
  font-weight: 200;
  src: url("ibm-plex-sans-v19-200.woff2") format("woff2");
}
@font-face {
  font-display: swap;
  font-family: "IBM Plex Sans";
  font-style: italic;
  font-weight: 200;
  src: url("ibm-plex-sans-v19-200italic.woff2") format("woff2");
}
@font-face {
  font-display: swap;
  font-family: "IBM Plex Sans";
  font-style: normal;
  font-weight: 300;
  src: url("ibm-plex-sans-v19-300.woff2") format("woff2");
}
@font-face {
  font-display: swap;
  font-family: "IBM Plex Sans";
  font-style: italic;
  font-weight: 300;
  src: url("ibm-plex-sans-v19-300italic.woff2") format("woff2");
}
@font-face {
  font-display: swap;
  font-family: "IBM Plex Sans";
  font-style: normal;
  font-weight: 400;
  src: url("ibm-plex-sans-v19-regular.woff2") format("woff2");
}
@font-face {
  font-display: swap;
  font-family: "IBM Plex Sans";
  font-style: italic;
  font-weight: 400;
  src: url("ibm-plex-sans-v19-italic.woff2") format("woff2");
}
@font-face {
  font-display: swap;
  font-family: "IBM Plex Sans";
  font-style: normal;
  font-weight: 500;
  src: url("ibm-plex-sans-v19-500.woff2") format("woff2");
}
@font-face {
  font-display: swap;
  font-family: "IBM Plex Sans";
  font-style: italic;
  font-weight: 500;
  src: url("ibm-plex-sans-v19-500italic.woff2") format("woff2");
}
@font-face {
  font-display: swap;
  font-family: "IBM Plex Sans";
  font-style: normal;
  font-weight: 600;
  src: url("ibm-plex-sans-v19-600.woff2") format("woff2");
}
@font-face {
  font-display: swap;
  font-family: "IBM Plex Sans";
  font-style: italic;
  font-weight: 600;
  src: url("ibm-plex-sans-v19-600italic.woff2") format("woff2");
}
@font-face {
  font-display: swap;
  font-family: "IBM Plex Sans";
  font-style: normal;
  font-weight: 700;
  src: url("ibm-plex-sans-v19-700.woff2") format("woff2");
}
@font-face {
  font-display: swap;
  font-family: "IBM Plex Sans";
  font-style: italic;
  font-weight: 700;
  src: url("ibm-plex-sans-v19-700italic.woff2") format("woff2");
}
@font-face {
  font-family: "Roboto Mono";
  font-style: normal;
  src: url("RobotoMono-VariableFont_wght.woff2") format("woff2");
}
@font-face {
  font-family: "Roboto Mono";
  font-style: italic;
  src: url("RobotoMono-Italic-VariableFont_wght.woff2") format("woff2");
}
@font-face {
  font-family: "Material Icons";
  font-style: normal;
  font-weight: 400;
  src: url("material-icons.woff2") format("woff2");
}
@font-face {
  font-family: "Material Icons Outlined";
  font-style: normal;
  font-weight: 400;
  src: url("outline-material-icons.woff2") format("woff2");
}
@font-face {
  font-family: "DePixel";
  font-style: normal;
  font-weight: bold;
  src: url("DePixelHalbfett.woff2") format("woff2");
}
@font-face {
  font-family: "Ark Pixel 12px Proportional";
  font-style: normal;
  font-weight: normal;
  src: url("ark-pixel-12px-proportional-latin.woff2") format("woff2");
}
@font-face {
  font-family: "Ark Pixel 12px Monospaced";
  font-style: normal;
  font-weight: normal;
  src: url("ark-pixel-12px-monospaced-latin.woff2") format("woff2");
}
@font-face {
  font-family: "Pancake Pen";
  font-style: normal;
  font-weight: normal;
  src: local("SS Pancake Pen"), url("pancake-pen.woff2") format("woff2");
}
@font-face {
  font-family: "Pancake Pen";
  font-style: italic;
  font-weight: normal;
  src: local("SS Pancake Pen"), url("pancake-pen-italic.woff2") format("woff2");
}
@font-face {
  font-family: "Pancake Pen";
  font-style: normal;
  font-weight: bold;
  src: local("SS Pancake Pen"), url("pancake-pen-bold.woff2") format("woff2");
}
@font-face {
  font-family: "Pancake Pen";
  font-style: italic;
  font-weight: bold;
  src: local("SS Pancake Pen"), url("pancake-pen-bold-italic.woff2") format("woff2");
}
@font-face {
  font-family: "Atkinson Hyperlegible Mono";
  font-style: normal;
  src: url("AtkinsonHyperlegibleMono-VariableFont_wght.woff2") format("woff2");
}
@font-face {
  font-family: "Atkinson Hyperlegible Mono";
  font-style: italic;
  src: url("AtkinsonHyperlegibleMono-Italic-VariableFont_wght.woff2") format("woff2");
}
@font-face {
  font-family: "Atkinson Hyperlegible Next";
  font-style: normal;
  src: url("AtkinsonHyperlegibleNext-VariableFont_wght.woff2") format("woff2");
}
@font-face {
  font-family: "Atkinson Hyperlegible Next";
  font-style: italic;
  src: url("AtkinsonHyperlegibleNext-Italic-VariableFont_wght.woff2") format("woff2");
}
.material-icons {
  font-family: "Material Icons";
  font-weight: normal;
  font-style: normal;
  font-size: 1.1rem;
  line-height: 1;
  letter-spacing: normal;
  text-transform: none;
  display: inline-block;
  white-space: nowrap;
  word-wrap: normal;
  direction: ltr;
  -moz-font-feature-settings: "liga";
  -moz-osx-font-smoothing: grayscale;
}

.material-icons-outlined {
  font-family: "Material Icons Outlined";
  font-weight: normal;
  font-style: normal;
  font-size: 24px;
  line-height: 1;
  letter-spacing: normal;
  text-transform: none;
  display: inline-block;
  white-space: nowrap;
  word-wrap: normal;
  direction: ltr;
  -webkit-font-feature-settings: "liga";
  -webkit-font-smoothing: antialiased;
}

html {
  font-size: min(22px, max(16px, 2.4vw));
}

body, input, button {
  font-family: "Atkinson Hyperlegible Next", "Helvetica", "Arial Unicode MS", "Arial", sans-serif;
}

.explanation {
  margin-top: 0.2em;
  font-size: 0.8em;
}

.small {
  font-size: 0.6em;
}

.time_t, .epoch {
  font-family: "Atkinson Hyperlegible Mono", "Roboto Mono", "Ubuntu Mono", "Menlo", "Consolas", "Courier", monospace;
}

.pls_break {
  overflow-wrap: break-word;
}

code, fixed, tt, .mono {
  font-family: "Atkinson Hyperlegible Mono", "Roboto Mono", "Ubuntu Mono", "Menlo", "Consolas", "Courier", monospace;
}

h1, h2, h3, h4, h5, h6 {
  font-family: "Pancake Pen", "SS Pancake Pen", "Chalkduster", "Comic Sans Ms", handwriting, cursive;
}
h1 tt, h2 tt, h3 tt, h4 tt, h5 tt, h6 tt {
  font-size: 75%;
}

h1, h3, h5 {
  font-weight: 800;
}

h2, h4, h6 {
  font-weight: 600;
}

h1 {
  font-size: 1.5rem;
}

h2 {
  font-size: 1.35rem;
}

h3, h4 {
  font-size: 1.25rem;
}

h5, h6 {
  font-size: 1.1rem;
}

table {
  border-collapse: collapse;
}
table th, table td {
  padding: 0.5rem;
}
table tr {
  border-bottom: 1px solid #321052;
}
table tr:last-child {
  border-bottom: none;
}
table td.null {
  font-style: oblique;
  text-align: center;
}

nav {
  background-color: #6ce;
  padding: 0 1em 0 16rem;
  margin: -2rem 0 0;
}
nav ul {
  text-align: right;
}
nav ul li {
  list-style-type: none;
  display: inline-block;
  margin: 0 1rem 0 0;
}
nav ul li a {
  border: 1px solid #47a;
  border-radius: 0.5rem;
  color: rgb(38.8571428571, 68, 97.1428571429);
  background-color: rgb(195.5, 229.5, 201.1666666667);
  font-size: 1em;
  text-decoration: none;
  padding: 0.5rem;
  margin: 0.25rem;
  display: inline-block;
  text-align: center;
}
nav ul li a:link, nav ul li a:visited, nav ul li a:hover {
  color: rgb(38.8571428571, 68, 97.1428571429);
}
nav ul li a:active {
  border: 1px solid white;
  box-shadow: 0 1px 2px rgb(195.5, 229.5, 201.1666666667);
}
nav.plain {
  background: none;
  display: inline-block;
  margin: 0;
  padding: 0;
}
nav.plain ul {
  margin: 0;
  padding: 0;
}

header {
  transform: rotateZ(-8deg);
  background: white;
  width: 20rem;
  margin: 2rem 0 0;
}
header h1 {
  text-align: left;
  margin: 0 1rem;
  color: #a37;
  overflow-wrap: break-word;
}
header #nauty {
  font-size: 1rem;
  font-weight: normal;
}
header #main {
  font-size: 2rem;
}
header::after {
  content: "";
  background: url("rip.svg") bottom;
  background-size: 200%;
  position: absolute;
  top: 100%;
  height: 20px;
  width: 100%;
  left: 0;
}

html {
  height: 100%;
}

body {
  width: 100%;
  height: 100%;
}
body #content {
  width: 980px;
  margin: 0 auto 12px;
  padding: 12px;
}
body #content nav.big {
  padding: 12px;
}
body #content nav.big ul {
  list-style-type: none;
  padding: 0;
  margin: 0;
}
body #content nav.big ul li a {
  font-size: 2em;
  text-decoration: none;
  font-style: italic;
  font-weight: 700;
}
body #content nav ul {
  list-style-type: none;
  padding: 0;
  margin: 0;
}
body #content nav ul li {
  display: inline-block;
}
body #content nav ul li a {
  display: inline-block;
  padding: 0.5em;
}

/*# sourceMappingURL=statdump.css.map */