diff options
Diffstat (limited to 'skins/simple/main.css')
-rw-r--r-- | skins/simple/main.css | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/skins/simple/main.css b/skins/simple/main.css index cc76f522..6f3e8eb8 100644 --- a/skins/simple/main.css +++ b/skins/simple/main.css @@ -345,10 +345,6 @@ div.printfooter { display: none; } -span.searchmatch { - font-weight: bold; -} - #preftoc { float: left; margin: 1em; @@ -393,12 +389,3 @@ table.collapsed tr.collapsable { .templatesUsed { margin-top: 1.5em; } -/* Recreating-deleted-page/reupload file warning and log entries */ -div#mw-upload-deleted-warn ul li, -div#mw-recreate-deleted-warn ul li { - font-size: 95%; -} -div.mw-recreate-deleted-control { - float: right; - font-size: 90%; -} |