diff options
| author | Unknwon <u@gogs.io> | 2015-12-02 19:44:16 -0500 |
|---|---|---|
| committer | Unknwon <u@gogs.io> | 2015-12-02 19:44:16 -0500 |
| commit | 73d9eebf017270b52d42da5404980c4abca4438a (patch) | |
| tree | 5731bfe5bcae3498ed25fc93443cf5eedbbd9874 /public/less/_base.less | |
| parent | e350d74c8af139d7a9af0854da6452139403297f (diff) | |
| parent | b73241ceb175b437c114dae686c9cffb69396e41 (diff) | |
Merge pull request #2068 from nanoant/patch/repo-file-list-layout
Repo file list layout & misc fixes
Diffstat (limited to 'public/less/_base.less')
| -rw-r--r-- | public/less/_base.less | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/public/less/_base.less b/public/less/_base.less index 086c6877..77ed7545 100644 --- a/public/less/_base.less +++ b/public/less/_base.less @@ -219,6 +219,14 @@ pre { } } + .sha.label { + font-family: Consolas, Menlo, Monaco, "Lucida Console", monospace; + font-size: 13px; + padding: 6px 10px 4px 10px; + font-weight: normal; + margin: 0 6px; + } + &.status.buttons { .octicon { margin-right: 4px; |