Remove border-bottom for tabs header divider

pull/197/head
Unknwon 9 years ago
parent 341da3cea7
commit f38d5e57dd
  1. 2
      public/config.codekit
  2. 3
      public/css/gogs.css
  3. 4
      public/less/_repository.less

@ -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,

@ -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;

@ -73,6 +73,10 @@
background-color: #FAFAFA;
margin-top: -15px;
padding-top: 15px;
.ui.tabs.divider {
border-bottom: none;
}
}
.filter.menu {
.label.color {

Loading…
Cancel
Save