repo.or.cz
/
mediawiki.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
PrefixSearch: Avoid notice when no subpage exists
[mediawiki.git]
/
resources
/
src
/
mediawiki.special
/
mediawiki.special.changeslist.legend.css
blob
6b0bf9919d50c4b594de4c461874fa40b055d690
1
/*!
2
* Styling for changes list legend
3
*/
4
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
;
14
}
15
16
.mw-changeslist-legend dl
{
17
/* Parent element defines sufficient padding */
18
margin-bottom
:
0
;
19
}
20
21
.mw-changeslist-legend dt
{
22
float
:
left
;
23
margin-right
:
0.5em
;
24
}
25
26
.mw-changeslist-legend dd
{
27
margin-left
:
1.5em
;
28
line-height
:
1.3em
;
29
}