/*
 * Fonts
 */
@font-face {
  font-family: "Inria Serif";
  src: local("Inria Serif"), local("InriaSerif"), local("InriaSerif-Regular"), url("/assets/InriaFonts/fonts/InriaSerif/Web/InriaSerif-Regular.eot") format("embedded-opentype"), url("/assets/InriaFonts/fonts/InriaSerif/Web/InriaSerif-Regular.woff") format("woff"), url("/assets/InriaFonts/fonts/InriaSerif/Web/InriaSerif-Regular.ttf") format("truetype"), url("/assets/InriaFonts/fonts/InriaSerif/Web/InriaSerif-Regular.svg") format("svg");
  font-style: normal; }
@font-face {
  font-family: "Inria Serif";
  src: local("Inria Serif Bold"), local("InriaSerifBold"), local("InriaSerif-Bold"), url("/assets/InriaFonts/fonts/InriaSerif/Web/InriaSerif-Bold.eot") format("embedded-opentype"), url("/assets/InriaFonts/fonts/InriaSerif/Web/InriaSerif-Bold.woff") format("woff"), url("/assets/InriaFonts/fonts/InriaSerif/Web/InriaSerif-Bold.ttf") format("truetype"), url("/assets/InriaFonts/fonts/InriaSerif/Web/InriaSerif-Bold.svg") format("svg");
  font-style: normal;
  font-weight: bold; }
@font-face {
  font-family: "Inria Serif";
  src: local("Inria Serif Italic"), local("InriaSerifItalic"), local("InriaSerif-Italic"), url("/assets/InriaFonts/fonts/InriaSerif/Web/InriaSerif-Italic.eot") format("embedded-opentype"), url("/assets/InriaFonts/fonts/InriaSerif/Web/InriaSerif-Italic.woff") format("woff"), url("/assets/InriaFonts/fonts/InriaSerif/Web/InriaSerif-Italic.ttf") format("truetype"), url("/assets/InriaFonts/fonts/InriaSerif/Web/InriaSerif-Italic.svg") format("svg");
  font-style: italic; }
@font-face {
  font-family: "Inria Sans";
  src: local("Inria Sans"), local("InriaSans"), local("InriaSans-Regular"), url("/assets/InriaFonts/fonts/InriaSans/Web/InriaSans-Regular.eot") format("embedded-opentype"), url("/assets/InriaFonts/fonts/InriaSans/Web/InriaSans-Regular.woff") format("woff"), url("/assets/InriaFonts/fonts/InriaSans/Web/InriaSans-Regular.ttf") format("truetype"), url("/assets/InriaFonts/fonts/InriaSans/Web/InriaSans-Regular.svg") format("svg");
  font-style: normal; }
@font-face {
  font-family: "Inria Sans";
  src: local("Inria Sans Bold"), local("InriaSansBold"), local("InriaSans-Bold"), url("/assets/InriaFonts/fonts/InriaSans/Web/InriaSans-Bold.eot") format("embedded-opentype"), url("/assets/InriaFonts/fonts/InriaSans/Web/InriaSans-Bold.woff") format("woff"), url("/assets/InriaFonts/fonts/InriaSans/Web/InriaSans-Bold.ttf") format("truetype"), url("/assets/InriaFonts/fonts/InriaSans/Web/InriaSans-Bold.svg") format("svg");
  font-style: normal;
  font-weight: bold; }
@font-face {
  font-family: "Inria Sans";
  src: local("Inria Sans Italic"), local("InriaSansItalic"), local("InriaSans-Italic"), url("/assets/InriaFonts/fonts/InriaSans/Web/InriaSans-Italic.eot") format("embedded-opentype"), url("/assets/InriaFonts/fonts/InriaSans/Web/InriaSans-Italic.woff") format("woff"), url("/assets/InriaFonts/fonts/InriaSans/Web/InriaSans-Italic.ttf") format("truetype"), url("/assets/InriaFonts/fonts/InriaSans/Web/InriaSans-Italic.svg") format("svg");
  font-style: italic; }
:root {
  --font-sans: Inria Sans, sans-serif;
  --font-serif: Inria Serif, serif; }

:root {
  --c-hue: 33; }

body {
  background-color: hsl(var(--c-hue, 40), 40%, 96%);
  font-family: "Inria Serif", serif; }

header {
  background-color: white;
  border-color: hsl(var(--c-hue, 199), 98%, 68%); }

.content-warnings {
  margin-top: 2em; }

dt:active,
dt:focus,
dt:target {
  position: relative; }
  dt:active::before,
  dt:focus::before,
  dt:target::before {
    display: inline-block;
    content: '\261B';
    width: 2em;
    position: absolute;
    left: -2em; }

a[href^="#"] {
  text-decoration: dotted underline hsl(var(--c-hue, 199), 98%, 68%);
  text-decoration-skip-ink: none; }
  a[href^="#"]:visited {
    color: inherit; }

body > blockquote {
  box-shadow: inset 0 0 1rem hsl(var(--c-hue, 199), 98%, 88%); }

h2 {
  padding: 0.5rem;
  margin-left: -0.5rem;
  margin-right: -0.5rem;
  background-color: white; }

del {
  background-color: rgba(255, 0, 0, 0.2);
  box-shadow: 0px -0.15em 2px 2px rgba(255, 0, 0, 0.2); }

ins {
  background-color: rgba(0, 255, 0, 0.2);
  box-shadow: 0px -0.15em 2px 2px rgba(0, 255, 0, 0.2); }