@font-face {
  font-family: "Liberation Serif";
  src: url("/fonts/LiberationSerif-Regular.ttf");
  font-weight: normal;
}
@font-face {
  font-family: "Liberation Serif";
  src: url("/fonts/LiberationSerif-Bold.ttf");
  font-weight: bold;
}
@font-face {
  font-family: "Liberation Serif";
  src: url("/fonts/LiberationSerif-Italic.ttf");
  font-style: italic;
}
@font-face {
  font-family: "Liberation Mono";
  src: url("/fonts/LiberationMono-Regular.ttf");
  font-weight: normal;
}

body {
    font-family: "Liberation Serif", serif;
}
p {
    text-align: justify;
    line-height: 1.25em;
}
code {
    font-family: "Liberation Mono", monospace;
}
pre {
    margin-left: 2em;
}
pre pre {
    margin-left: 0;
}
pre.playpen > div.buttons {
    float: right;
    height: 0;
}
em {
    font-style: italic;
}
h3::before {
    content: "¶";
    width: 1em;
    display: inline-block;
    margin-left: -1em;
}
h4::before {
    content: "§";
    width: 1em;
    display: inline-block;
    margin-left: -1em;
}
#menu-bar-sticky-container {
    background-color: rgba(255, 255, 255, 0.8) !important;
}

@media print {
    .bottons {
        display: none;
    }
    body {
        font-size: 11pt;
    }
}