Änderungen

keine Bearbeitungszusammenfassung
Zeile 739: Zeile 739:     
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;