summaryrefslogtreecommitdiffstats
path: root/public/css
diff options
context:
space:
mode:
authorAdam Strzelecki <ono@java.pl>2015-12-02 22:40:22 +0100
committerAdam Strzelecki <ono@java.pl>2015-12-02 22:40:22 +0100
commit3eae4ecde76d3196b8fb5c7d4482c74e438d5a87 (patch)
tree85cad176988cc716a9a5e7ca4f0daa6ec3d6ee29 /public/css
parentec98deeb8cc6727a01ac8510805d66acd2c7d152 (diff)
downloadgitea-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-xpublic/css/gogs.css11
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%;