Implement extension registration from an extension.json file
[mediawiki.git] / resources / src / mediawiki.special / mediawiki.special.changeslist.legend.css
blob14f6aeeeffc9b9321225e4bd04b3cc8ac44d7cb9
1 /*!
2 * Styling for changes list legend
3 */
5 .mw-changeslist-legend {
6 float: right;
7 margin-left: 1em;
8 margin-bottom: 0.5em;
9 clear: right;
10 font-size: 85%;
11 line-height: 1.2em;
12 padding: 0.5em;
13 border: 1px solid #ddd;
16 .mw-changeslist-legend dl {
17 /* Parent element defines sufficient padding */
18 margin-bottom: 0;
21 .mw-changeslist-legend dt {
22 float: left;
23 margin: 0 0.5em 0 0;
26 .mw-changeslist-legend dd {
27 margin-left: 1.5em;
30 .mw-changeslist-legend dt,
31 .mw-changeslist-legend dd {
32 line-height: 1.3em;