wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-28 16:20:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

More adjustments to the style of the history panel

Browse source
This commit is contained in:
Trevor Parscal 2011-12-07 22:52:20 +00:00
parent 04ecb6796a
commit 8ef6e4b24e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/sandbox/sandbox.css
View file

@ -166,7 +166,7 @@
border-bottom: solid 1px #dddddd;
padding: 0.5em 0;
color: #666666;
background-color: #f3f3f3;
background-color: #f9f9f9;
}
#es-panel-history div.es-panel-history-active {