diff options
| author | Unknwon <u@gogs.io> | 2016-02-19 17:49:48 -0500 |
|---|---|---|
| committer | Unknwon <u@gogs.io> | 2016-02-19 17:49:48 -0500 |
| commit | f38d5e57dd0ea4841b1592044a500c2a2399229d (patch) | |
| tree | a43a59acb0dba1629e2aacc0673860df099005a2 /public | |
| parent | 341da3cea7b194e74057612efc6fb97cb57f1446 (diff) | |
| download | gitea-f38d5e57dd0ea4841b1592044a500c2a2399229d.tar.gz gitea-f38d5e57dd0ea4841b1592044a500c2a2399229d.zip | |
Remove border-bottom for tabs header divider
Diffstat (limited to 'public')
| -rw-r--r-- | public/config.codekit | 2 | ||||
| -rw-r--r-- | public/css/gogs.css | 3 | ||||
| -rw-r--r-- | public/less/_repository.less | 4 |
3 files changed, 8 insertions, 1 deletions
diff --git a/public/config.codekit b/public/config.codekit index 8c1e16b4f7..129e373dcb 100644 --- a/public/config.codekit +++ b/public/config.codekit @@ -1,6 +1,6 @@ { "CodeKitInfo": "This is a CodeKit 2.x project configuration file. It is designed to sync project settings across multiple machines. MODIFYING THE CONTENTS OF THIS FILE IS A POOR LIFE DECISION. If you do so, you will likely cause CodeKit to crash. This file is not useful unless accompanied by the project that created it in CodeKit 2. This file is not backwards-compatible with CodeKit 1.x. For more information, see: http:\/\/incident57.com\/codekit", -"creatorBuild": "19102", +"creatorBuild": "19115", "files": { "\/css\/github.min.css": { "fileType": 16, diff --git a/public/css/gogs.css b/public/css/gogs.css index 657de394f6..ba8a134f6c 100644 --- a/public/css/gogs.css +++ b/public/css/gogs.css @@ -1129,6 +1129,9 @@ footer .container .links > *:first-child { margin-top: -15px; padding-top: 15px; } +.repository .header-wrapper .ui.tabs.divider { + border-bottom: none; +} .repository .filter.menu .label.color { margin-left: 15px; padding: 0 8px; diff --git a/public/less/_repository.less b/public/less/_repository.less index c3cc6d8050..e9acff3f0e 100644 --- a/public/less/_repository.less +++ b/public/less/_repository.less @@ -73,6 +73,10 @@ background-color: #FAFAFA; margin-top: -15px; padding-top: 15px; + + .ui.tabs.divider { + border-bottom: none; + } } .filter.menu { .label.color { |