User blog comment:Rappy 4187/Technical Update: July 6, 2016/@comment-25867502-20160707141741/@comment-244709-20160707170732

^ It seems for darker-themed wikis, the edit pen is from edit-pen-dark.svg, while the lighter-themed wikis (like mine) have edit-pen.svg. Hard to tell with my browser, but I think both are white. Shouldn't edit-pen be black/dark so it stands out from light backgrounds? I also noticed edit-pen-dark is 5 pixels smaller than edit-pen - was that intentional?