dépôts
/
lhc
/
web
/
wiklou.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
WLFilters: wrap Watchlist-details in a div instead of a p
[lhc/web/wiklou.git]
/
resources
/
src
/
mediawiki.rcfilters
/
styles
/
mw.rcfilters.ui.WatchlistTopSectionWidget.less
1
.mw-rcfilters-ui-watchlistTopSectionWidget {
2
&-editWatchlistButton {
3
float: right;
4
margin-left: 3em;
5
}
6
7
&-savedLinks {
8
float: right;
9
}
10
11
.mw-rcfilters-ui-table {
12
margin-top: 1em;
13
}
14
15
&-separator {
16
margin-top: 1em;
17
border-top: 2px solid #eaecf0; // Base80 AAA
18
}
19
}