/* -*- coding:utf-8-unix; -*- */

/*
SPDX-License-Identifier: CC-BY-SA-4.0

Copyright (c) 2026 Flower Snark

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International license (CC BY-SA 4.0).

CC BY-SA 4.0 summary: https://creativecommons.org/licenses/by-sa/4.0/

CC BY-SA 4.0 legal code: https://creativecommons.org/licenses/by-sa/4.0/legalcode
*/

/* Begin Font Definitions */
@font-face {
    font-family: "dejavu-sans";
    src: url("./fonts/DejaVuSans.ttf");
} 

@font-face {
    font-family: "dejavu-sans-bold";
    src: url("./fonts/DejaVuSans-Bold.ttf");
} 

@font-face {
    font-family: "dejavu-sans-italic";
    src: url("./fonts/DejaVuSans-Oblique.ttf");
} 

@font-face {
    font-family: "dejavu-serif";
    src: url("./fonts/DejaVuSerif.ttf");
} 

@font-face {
    font-family: "dejavu-serif-bold";
    src: url("./fonts/DejaVuSerif-Bold.ttf");
} 

@font-face {
    font-family: "dejavu-serif-italic";
    src: url("./fonts/DejaVuSerif-Italic.ttf");
} 

@font-face {
    font-family: "dejavu-mono";
    src: url("./fonts/DejaVuSansMono.ttf");
} 
/* End Font Definitions */

/* Begin Body Style */
body {
    background-color: rgb(97, 97, 255);
    max-width: 50rem;
    margin: 0.6rem auto 0.6rem auto;
    border-left: 0.6rem solid rgb(97, 97, 255);
    border-right: 0.6rem solid rgb(97, 97, 255);
    font-family: dejavu-sans;
}
/* End Body Style */

/* Begin Headline Styles */
h1.title {
    color: black;
    font-size: xx-large;
    padding: 0.7rem;
    margin: 0 0 0.6rem 0;
    background-color: white;
    font-family: dejavu-sans-bold;
    border-radius: 0.3rem;
    box-shadow: 0 0 0.15rem 0.15rem rgba(0, 0, 0, 0.2);
}
h2 {
    color: black;
    font-size: x-large;
    margin: 0 0.6rem 0 0.6rem;
    font-family: dejavu-sans-bold;
}
h3 {
    color: black;
    font-size: large;
    text-align: left;
    font-family: dejavu-sans-bold;
}
h4 {
    color: black;
    font-size: medium;
    text-align: left;
    font-family: dejavu-sans-bold;
}
/* End Headline Styles */

/* Begin Structure Styles */
#table-of-contents {
    background-color: white;
    padding: 0.6rem;
    margin-bottom: 0.6rem;
    border-radius: 0.3rem;
    box-shadow: 0 0 0.15rem 0.15rem rgba(0, 0, 0, 0.2);
}
#table-of-contents ul {
    float: none;
}
div {
}
div.outline-2 {
    padding: 0.6rem;
    margin-bottom: 0.6rem;
    background-color: white;
    border-radius: 0.3rem;
    box-shadow: 0 0 0.15rem 0.15rem rgba(0, 0, 0, 0.2);
}
div.outline-text-2 {
    margin-left: 1.2rem;
    margin-right: 1.2rem;
}
div.outline-3 {
    padding-left: 1.2rem;
    padding-right: 1.2rem;
}
div.outline-text-3 {
}
div.outline-4 {
}
div.outline-5 {
}
/* End Structure Styles */

/* Begin Paragraph Style */
p {
    clear: both;
}
/* End Paragraph Style */

/* Begin Text Styles */
b {
    font-family: dejavu-sans-bold;
}
i {
    font-family: dejavu-sans-italic;
}
.underline {
    text-decoration-line: underline;
}
/* End Text Styles */

/* Begin Link Styles */
a {
    color: blue;
    text-decoration: underline;
}
/* Site Links List link style */
#text-site-links a {
    margin-right: 1.5rem;
    font-family: dejavu-sans-bold;
}
/* End Link Styles */

/* Begin List Styles */
ul {
    list-style-type: square;
    float: none;
}
ul ul {
    list-style-type: square;
    float: none;
}
ul ul ul {
    list-style-type: square;
    float: none;
}
/* End List Styles */

/* Begin Image Styles */
/* End Image Styles */

/* Begin Media Styles */
.audio-division {
    margin: 0.6rem auto 0.6rem auto;
    max-width: 90%;
    padding: 0.3rem;
    border-radius: 0.3rem;
    box-shadow: 0 0 0.15rem 0.15rem rgba(0, 0, 0, 0.2);
}
.audio-division audio {
    width: 100%;
}
.audio-division p {
    text-align: center;
    margin-top: 0;
    margin-bottom: 0;
}
.video-division {
    margin: 0.6rem auto 0.6rem auto;
    max-width: 90%;
    padding: 0.3rem;
    border-radius: 0.3rem;
    box-shadow: 0 0 0.15rem 0.15rem rgba(0, 0, 0, 0.2);
}
.video-division video {
    width: 100%;
}
.video-division p {
    text-align: center;
    margin-top: 0;
    margin-bottom: 0;
}
/* End Media Styles */

/* Begin Source Code Formatting */
pre {
    padding: 0.6rem;
    margin-right: auto;
    margin-left: auto;
    max-width: 90%;
    font-family: dejavu-mono;
    overflow: auto;
    border-radius: 0.3rem;
    box-shadow: 0 0 0.15rem 0.15rem rgba(0, 0, 0, 0.2);
}
code {
    font-family: dejavu-mono;
}
/* End Source Code Formatting */

/* Begin Table Styles */
/* End Table Styles */

/* Begin Printing Style */
@media print {
  body {
      background-color: white;
      max-width: 100%;
      border-left: initial;
      border-right: initial;
  }
  /* Prevent breaking figures and images across pages. */
  figure {
      page-break-inside: avoid;
  }
  h1.title {
      box-shadow: initial;
  }
  #table-of-contents {
      box-shadow: initial;
  }
  div.outline-2 {
      box-shadow: initial;
  }
  img {
      page-break-inside: avoid;
  }  
  .audio-division audio{
      display: none;
  }
  .video-division video {
      display: none;
  }
  pre {
      overflow: hidden;
      /* box-shadow: initial; */
  }
}
/* End Printing Style */