.topic {
   font-size: 18pt;
   color: #ff0000;
}

.firstchar {
   font-size: 18pt;
   font-weight: bold;
}

.symbol {
   font-family: "Arial Unicode MS";
   font-size: 13pt;
}

.setsymbol {
   font-family: "Arial Unicode MS"; 
   font-size: 15pt;
}

.smallsymbol {
   font-family: "Arial Unicode MS"; 
   font-size: 12pt;
}

.bigsymbol {
   font-family: "Arial Unicode MS"; 
   font-size: 18pt;
}

.arial {
   font-family: "Arial", sans-serif; 
   font-size: 14pt;
}

.formula {
   font-size: 14pt;
   color: #0000ff;
}

.greek {
   font-family: "Times New Roman", sans-serif;
   font-size: 13pt;  
}

.angle {
   font-family: "symbol";
}