Änderungen

keine Bearbeitungszusammenfassung
Zeile 576: Zeile 576:     
div.flaggedrevs_diffnotice, div.flaggedrevs_preview {
 
div.flaggedrevs_diffnotice, div.flaggedrevs_preview {
−
     margin: 0 0 0.5em 0;
+
     margin: 0 0 1em 0;
 
     padding: 8px;
 
     padding: 8px;
 
     border: #faefd5 1px solid;
 
     border: #faefd5 1px solid;