@font-face {
  font-family: "Computer Modern";
  src: url('http://mirrors.ctan.org/fonts/cm-unicode/fonts/otf/cmunss.otf');
}

@font-face {
  font-family: "Computer Modern";
  src: url('http://mirrors.ctan.org/fonts/cm-unicode/fonts/otf/cmunsx.otf');
  font-weight: bold;
}

@font-face {
  font-family: "Computer Modern";
  src: url('http://mirrors.ctan.org/fonts/cm-unicode/fonts/otf/cmunsi.otf');
  font-style: italic, oblique;
}

@font-face {
  font-family: "Computer Modern";
  src: url('http://mirrors.ctan.org/fonts/cm-unicode/fonts/otf/cmunbxo.otf');
  font-weight: bold;
  font-style: italic, oblique;
}

body {
    margin-top: calc((max(15vw - 15vh, 5vw) ));
    margin-bottom: calc((max(15vw - 15vh, 5vw) ));
    margin-right: calc((max(40vw - 40vh, 5vw) ));
    margin-left: calc((max(40vw - 40vh, 5vw) ));
    background-color: white;
    text-align: justify;
    font-size: calc((7vh + 2vw) / 4);
}

.indent {
  text-indent: 40px;
}

nav.tabs {
    background-color: #f0f0f0;
    padding: 10px;
    border-radius: 5px;
    display: flex;
    gap: 15px;
    width: fit-content;
    margin: 10px 0;
}

nav.tabs a,
nav.tabs span {
    text-decoration: none;
    color: #333;
    padding: 5px 10px;
}

nav.tabs a:hover,
nav.tabs span:hover {
    background-color: #ddd;
}