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/css | |
parent | ec98deeb8cc6727a01ac8510805d66acd2c7d152 (diff) | |
download | gitea-3eae4ecde76d3196b8fb5c7d4482c74e438d5a87.tar.gz gitea-3eae4ecde76d3196b8fb5c7d4482c74e438d5a87.zip |
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/css')
-rwxr-xr-x | public/css/gogs.css | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/public/css/gogs.css b/public/css/gogs.css index cd27a674ae..eba8454a1c 100755 --- a/public/css/gogs.css +++ b/public/css/gogs.css @@ -1815,6 +1815,17 @@ footer .container .links > *:first-child { margin: 1px; padding-right: 0; } +.repository .ui.tabs.container { + margin-top: 14px; + margin-bottom: 0px; +} +.repository .ui.tabs.container .ui.menu { + border-bottom: none; +} +.repository .ui.tabs.divider { + margin-top: 0; + margin-bottom: 20px; +} .repository #clone-panel { margin-top: -8px; width: 100%; |