User:Jongfeli/common.css

pre { border: 1px dashed #aaaaaa; border-radius: 8px; }

div#simpleSearch { width: 20em; }