.heads{
font-size: 115%;
font-weight: bold;
}
.gain{
letter-spacing: 5px;
}
.names{
font-weight: bold;
}
.rules{
background-color: #e5e5e5;
}
.htxt{
font-family: helvetica;

}
.htxt2{
font-size: 75%;
line-height: 2;
}
.adds{
margin-left: 5%;
}
.examples{
padding: 5px;
border: 0.2em solid black;
}
.epigraph{
font-size: 90%;
margin-left: 40%;
}
.expl{
font-style: italic;
}
.htxt3{
border-left: 0.2em solid black;
border-right: solid black;
margin-left: 10px;
margin-right: 10px;
padding: 5px;
text-align:  justify;
text-align-last: start;
}
.aut
{
text-align:  right;
font-style: italic;
}
h1
{
text-align:  center;
}
h2
{
text-align:  center;
}
h3
{
text-align:  center;
}
.code
{
font-family:"Courier New",Courier,mono;
}
.upperindex
{
vertical-align: super;
font-size: 80%;
}
/*
div.cke_panel.cke_ltr.cke_rcombopanel { width: 300px !important; }
span.cke_rcombo span.cke_styles a span span.cke_text { width: 150px; }
*/