/*WYSIWYG:  .super#Hochgestellt,.font17#Schriftgr. 17px,.font20#Schriftgr. 20px,*/
/*TABLECORE: .super#Hochgestellt,.font17#Schriftgr. 17px,.font20#Schriftgr. 20px,*/

.italic {
    font-style: italic;
    margin-right: 2px;
}

.super {
    vertical-align: super;
    font-size: .75em;
}

.font17 {
  font-size: 17px !important;
}

.font20 {
  font-size: 20px !important;
}