@page
    { margin-top: 10px;
    margin-bottom: 10px
 

    }


body {
    font-size: 17;
    margin-left: 25px;
    margin-right: 25px;
}
	
	


a:link   { font-size: 13; text-decoration: underline; color: blue;}

a:visited {font-size: 13; text-decoration: underline; color: green;}

a:hover   {font-size: 13; color: red;}

a.casa { font-size: 17; text-decoration: 0; color: blue;}
a.inter{font-size: 10;}

p {
  margin-top: 3;
  margin-bottom: 3;
 text-align: justify;
  text-indent: 10pt;
 }





 



 
  
img {height: 100%; max-width: 100%; 
	}


.p1 {
  margin-top: 50;
  margin-bottom: 0;
   }     
       
               


 .p2 {
  margin-top: 25;
  margin-bottom: 25;

}                           

 .p3 {
  margin-top: 20;
  margin-bottom: 0;

 }                           


.p5 {
  margin-top: 50;
  margin-bottom: 25;

 }               


.p6 {
  margin-top: 5;
  margin-bottom: 25;
   }             




.p7 {
  margin-top: 0;
  margin-bottom: 25;
   }       


.p8 {
  margin-top: 0;
  margin-bottom: 0;
   }     


.p9{
  margin-top: 25;
  margin-bottom: 0;
   }   

.p10 {
  margin-top: 23;
  margin-bottom: 23;
}


.p11 {
  margin-top: 100;
  margin-bottom: 0;
}


.p12 {
  margin-top: 50;
  margin-bottom: 25;
font-size: 60; }



.p16 {
  margin-top: 15;
  margin-bottom: 0;
}





.cope {
margin-top: 300;
 }

.parte {
margin-top: 150;
 }





.note{  margin-top: 10;
  margin-bottom: 10;
font-size: 12;
text-indent: 0;
}

.cover {
    margin-top: 50em;
    margin-bottom: 0em;
       }








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


 


{;}