@font-face {
    font-family: DejaVuSerif-Bold;
    font-weight: bold;
    font-style: normal;
    src: url(../Fonts/DejaVuSerif-Bold.ttf);
  }

  @font-face {
    font-family: DejaVuSerif;
    font-weight: normal;
    font-style: normal;
    src: url(../Fonts/DejaVuSerif.ttf);
  }

  @font-face {
    font-family: DejaVuSerif-Italic;
    font-weight: normal;
    font-style: italic;
    src: url(../Fonts/DejaVuSerif-Italic.ttf);
  }

  @font-face {
    font-family: DejaVuSerifCondensed-BoldItalic;
    font-weight: bold;
    font-style: italic;
    src: url(../Fonts/DejaVuSerifCondensed-BoldItalic.ttf);
  }

  @font-face {
    font-family: DejaVuSansMono;
    font-weight: normal;
    font-style: normal;
    src: url (../Fonts/DejaVuSansMono.ttf);
   }

   @font-face {
     font-family: DejaVuSansMono-Oblique;
     font-weight: normal;
     font-style: oblique;
     src: url (../Fonts/DejaVuSansMono-Oblique.ttf);
   }

 

  .uzanto {font-style: italic; font-weight: bold; font-stretch: condensed; font-family: "DejaVuSerifCondensed-BoldItalic", serif }
  .kursive {font-style: italic; font-family: "DejaVuSerif-Italic", serif; }
  .dike {font-weight: bold; font-family: "DejaVuSerif-Bold", serif; }
  .centren {text-align: center;}
  .dekstren {text-align: right;}
  .substr {text-decoration: underline}
  .ege {font-size: 300%;}
  div.ciferoj {padding-top:25px; font-size: 200%; text-align:center;}
  div.atesto {padding-right:10%; padding-left:10%; font-family: "DejaVuSansMono", monospace; }
  .atestokursive {font-family: "DejaVuSansMono-Oblique", monospace; font-style: oblique; }
  p {text-indent: 5%;}
  p.noto {text-indent: 0; font-size: 80%;}
  h3 {text-align: center; padding-top:25px;}
  h2 {text-align: center;}
  h1 {text-align: center;}
  body {font-family: "DejaVuSerif", serif; }