diff options
| -rwxr-xr-x | public/css/gogs.css | 2 | ||||
| -rw-r--r-- | public/less/_base.less | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/public/css/gogs.css b/public/css/gogs.css index d3565b192b..9cf6e39b27 100755 --- a/public/css/gogs.css +++ b/public/css/gogs.css @@ -915,7 +915,7 @@ pre.raw { } .ui .sha.label { font-family: Consolas, Menlo, Monaco, "Lucida Console", monospace; - font-size: 14px; + font-size: 13px; padding: 6px 10px 4px 10px; font-weight: normal; margin: 0 6px; diff --git a/public/less/_base.less b/public/less/_base.less index 2ae2fea6e7..77ed754518 100644 --- a/public/less/_base.less +++ b/public/less/_base.less @@ -221,7 +221,7 @@ pre { .sha.label { font-family: Consolas, Menlo, Monaco, "Lucida Console", monospace; - font-size: 14px; + font-size: 13px; padding: 6px 10px 4px 10px; font-weight: normal; margin: 0 6px; |