I don't think we need these margins which appear only on the .../filter/tips page. The default themes look fine without it.

CommentFileSizeAuthor
drupal.css_1.diff491 bytesdrumm

Comments

dries’s picture

dries commented
Status: Needs review » Fixed

Committed to HEAD.

Anonymous’s picture

(not verified) commented
drumm’s picture

drumm
he/him
Location NY, US
commented
Version: » 4.6.0
Status: Fixed » Closed (fixed)