20,100
edits
MediaWiki:Vector.css: Difference between revisions
do I want *more* bottom border?
(changing bottom border on deletedline; smaller markers) |
(do I want *more* bottom border?) |
||
| Line 42: | Line 42: | ||
{ | { | ||
border-style: solid; | border-style: solid; | ||
border-width: 1px 1px 1px | border-width: 1px 1px 1px 8px; | ||
border-radius: 0.33em; | border-radius: 0.33em; | ||
} | } | ||