diff options
| author | Adam Strzelecki <ono@java.pl> | 2015-12-02 22:40:22 +0100 |
|---|---|---|
| committer | Adam Strzelecki <ono@java.pl> | 2015-12-02 22:40:22 +0100 |
| commit | 3eae4ecde76d3196b8fb5c7d4482c74e438d5a87 (patch) | |
| tree | 85cad176988cc716a9a5e7ca4f0daa6ec3d6ee29 /public/less | |
| parent | ec98deeb8cc6727a01ac8510805d66acd2c7d152 (diff) | |
UI: Make repository menu divide header and content
This is more inline with way GitHub looks like and feels much more natural and
in style with rest of the interface.
Diffstat (limited to 'public/less')
| -rw-r--r-- | public/less/_repository.less | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/public/less/_repository.less b/public/less/_repository.less index ffd432db..7f66948c 100644 --- a/public/less/_repository.less +++ b/public/less/_repository.less @@ -91,6 +91,20 @@ } } + .ui.tabs { + &.container { + margin-top: 14px; + margin-bottom: 0px; + .ui.menu { + border-bottom: none; + } + } + &.divider { + margin-top: 0; + margin-bottom: 20px; + } + } + #clone-panel { margin-top: -8px; width: 100%; |