@font-face {
    font-family: "DejaVu Serif";
    src: url("../font/dejavu-serif/DejaVuSerif.ttf") format("truetype");
    font-weight: 400;
}

@font-face {
    font-family: "DejaVu Serif";
    font-style: italic;
    src: url("../font/dejavu-serif/DejaVuSerif-Italic.ttf") format("truetype");
    font-weight: 400;
}

@font-face {
    font-family: "DejaVu Serif";
    src: url("../font/dejavu-serif/DejaVuSerif-Bold.ttf") format("truetype");
    font-weight: 700;
}
@font-face {
    font-family: "DejaVu Serif";
    font-style: italic;
    src: url("../font/dejavu-serif/DejaVuSerif-BoldItalic.ttf") format("truetype");
    font-weight: 700;
}

.input-floatingplaceholder{
  position: absolute;
  top: 12;
  right: 0;
  color: grey;
  user-select: none;
}

main{
  margin-bottom: 40px;
}

.admin-only{
  display: none;
}