*{
    margin: 0;
    padding: 0
}

:root{
  /* these are the *reserved* spaces on paper */
    --print-header-space: 0.65in;
    --print-footer-space: 0.65in;
  --print-side-margin: 0.8in;
}

@page{
  margin-top: var(--print-header-space);
  margin-bottom: var(--print-footer-space);
  margin-left: var(--print-side-margin);
  margin-right: var(--print-side-margin);
}

body {
padding: 0 !important;
color: #000 !important;
background: #fff !important;
width: auto !important;
height: auto !important;
overflow: visible !important;
}

.print-header,
.print-footer{
  /* position: fixed; */
  left: 0;
  right: 0;
  background: #fff;
  color: #000;
  font-family: "Epilogue","Roboto",sans-serif;
  box-sizing: border-box;
  z-index: 9999;
  /* prevents “blocking” selection/flow weirdness */
  pointer-events: none;
}

  .print-header{
  top: 0;
  padding: 0.20in var(--print-side-margin) 0.10in var(--print-side-margin);
  font-size: 11pt;
  display: flex;
  justify-content: space-between;
  gap: 16px;
  z-index: -4;
}

 .print-footer{
  bottom: 0;
  padding: 0.10in var(--print-side-margin) 0.20in var(--print-side-margin);
  border-top: 1px solid #bbb;
  font-size: 10pt;
  display: flex;
  justify-content: space-between;
  gap: 16px;
}

.print-footer{
  position: fixed;
  bottom: 0;
  left: 0;
  right: 0;
  margin: 0 !important;
  page-break-inside: avoid;
  break-inside: avoid;
}

mjx-container[jax="SVG"] > svg a[href] {
    fill: blue;
    stroke: blue;
}
.proof{
    color: rgb(0, 169, 157);
    padding-right: 0.5%;
    font-family: Geneva, Tahoma, sans-serif;
    text-decoration: none;
}

.proof::after{
    content: "  ";
}

.proof mjx-container[jax="SVG"] > svg a[href] {
    fill: rgb(0, 169, 157);
    stroke: rgb(0, 169, 157);
}

body{
  padding-top: calc(var(--print-header-space) - 0.10in);
  padding-bottom: calc(var(--print-footer-space) - 0.10in);
}

  main {
    padding-top: 0.15in;
    padding-bottom: 0.15in;
  }


    /* --- Hide site navigation + interactive stuff --- */
  header:not(.print-header),
  footer:not(.print-footer),
  .sidenav,
  .nav-panel,
  #searchModal,
  .solution-button,
  button {
    display: none !important; /* NOT "display: hidden" */
    visibility: hidden !important;
  }

  .box-title, .steps-title, .example-title{
    font-size: 20px;
    font-family: Geneva, Tahoma, sans-serif;
    color: black;
  }

  /* .example-title{
    break-before: page;
  } */

  figure,
  table,
  .box {
    break-inside: avoid;
    page-break-inside: avoid;
  }

  img {
    display: block;
    float: none;
    width: 100%;
    page-break-inside: avoid;
  }

  main img, aside{
    float: none;
    position: relative
}

  main figure, aside{
    left: 0px;
    margin-left: 200px;
    margin-right: auto;
    float: none;
    position: relative;
    display: block;
    /* width: 100%; */
  }

  .solution > figure, .example > figure{
    float: none;
    /* width: 100%; */
    display: block;
  }

  .solution > figure > img, .example > figure > img{
    margin-left: 100px;
    /* width: 100%; */
  }

  .figure:before{
    left: 50px;
    color: black;
  }

  .solution{
    margin-bottom: 20px
  }

.page-anchor, .summary-anchor, h4{
    color: rgb(32, 123, 123);
}

h1{ /* section title */
    font-size: 25px;
    margin-bottom: 2%;
    margin-left: 5%;
    margin-right: 5%;
    font-weight: bold;
    font-family: 'Epilogue', 'Roboto', sans-serif;
    color: black;
}

h4{
    font-family: 'Epilogue', 'Roboto', sans-serif;
}

div{
    display: block;
    break-inside: avoid;
    page-break-inside: avoid;
    overflow: visible
}

a{
    color: blue;
}

hr{
    height: 5px;
    background-color: gray;
    border: 0;
}

mjx-container{
    filter: contrast(0.9);
    font-size: 0.85em;
}

img {
    -webkit-filter: invert(1);
    filter: invert(1);
}

button{
    display: none;
}

main figure, aside{
  display: block;
  width: auto;
  max-width: 100%;
}


.background-text, main{ /* background body */
    margin-left: 5%;
    margin-right: 5%;
    color: black;
    font-size: 20px;
    line-height: 1.75;
    font-family: 'Georgia', 'Times New Roman', Times, serif;
}

.background-text ul{
    padding-left: 3%;
}

.background-text li{
    padding-left: 1.5%;
}

.tab{
    width: 100%; 
    background-color: rgb(122, 75, 111);
    padding: 2% 1% 2% 1%;
    font-size: 150%;
    display: none;
}

.logo-header{
    width: 20%;
    position: relative;
    right: 42%;
}

.logo-header a{
    text-decoration: none;
    color: white;
}

/* .buttons-header{
    width: 50%;
    padding-left: 45%;
} */

.tab ul{
    list-style-type: none;
    overflow: hidden;
    margin-bottom: 0%;
    margin-right: 5%;
    text-align: right;
}

.tab li{
    display: none;
    padding-left: 4%;
    margin-top: 0%;
    font-size: 105%;
}
  
.tab li a {
    display: block;
    color: white;
    text-align: center;
    text-decoration: none;
    padding-left: 1%;
    margin-top: 0%;
}

table.center {
    margin-left: auto; 
    margin-right: auto;
    width: "100%";
}

th{
    border-left: 1px solid white;
    border-right: 1px solid white;
    border-bottom: 1px solid white;
}

td {
    border-top: 1px solid white;
    border-bottom: 1px solid white;;
    border-left: 1px solid white;
    border-right: 1px solid white;
    padding: 20px;
    padding-left: 40px;
    padding-right: 40px;
    text-align: center;
}

.header-print{
    font-size: 15px;
    margin: 0; 
    padding: 0;
    margin-top: 0;
}

footer{
    padding: 0% 17% 0% 17%;
    color: white;
    margin-top: 5%;
    margin-bottom: -3.1%;
    background-color: rgb(24, 22, 22);
    font-family: Georgia, 'Times New Roman', Times, serif;
    display: none;
}