diff options
Diffstat (limited to 'public/less/_repository.less')
| -rw-r--r-- | public/less/_repository.less | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/public/less/_repository.less b/public/less/_repository.less index 33ee5761c4..48a1214c07 100644 --- a/public/less/_repository.less +++ b/public/less/_repository.less @@ -158,6 +158,23 @@ margin: -2px -7px 0 -5px; } + &.labels { + .label-filter .menu .info { + display: inline-block; + padding: 9px 7px 7px 7px; + text-align: center; + border-bottom: 1px solid #cccccc; + font-size: 12px; + + code { + border: 1px solid #cccccc; + border-radius: 3px; + padding: 3px 2px 1px 2px; + font-size: 11px; + } + } + } + .text { margin-left: 0.9em; } |