User:JustDerek/vector.css

body#wikEdFrameBody.wikEdFrameBodySyntax { font-size: 13px !important; }