-
Benjamin Otte authored
"border-style: none;" sets border widths to 0. So no border was drawn. Use "border-style: groove" instead. (If the border was drawn that way, it'd look noticably different.) Also include reset-to-defaults.css so we really get default CSS.
f2352a5f