Änderungen

keine Bearbeitungszusammenfassung
Zeile 571: Zeile 571:     
div.flaggedrevs_short {
 
div.flaggedrevs_short {
     font-size: 80%;
+
     font-size: 100%;
 
     padding: 4px 6px 4px 4px;
 
     padding: 4px 6px 4px 4px;
 
     background-color: #efefef;
 
     background-color: #efefef;