@media screen, projection {
/* ... Formatdefinitionen zur Bildschirmausgabe ... */
#reftogglespanhead { font-size:90%; }
#reftogglespandown { margin-bottom:15px; margin-left:3.2em; font-size:90%; }
}
@media print {
/* ... Formatdefinitionen zum Drucken ... */
.reftoggle { display:none; }
}