From 3decc0b3d6db450d1885ea5cffef8491136d72ca Mon Sep 17 00:00:00 2001 From: Matthias Niess Date: Wed, 23 Mar 2016 13:55:07 +0100 Subject: use monospace font for wiki and issue textareas (fix #2869) --- public/less/_repository.less | 17 +++++++++++------ 1 file changed, 11 insertions(+), 6 deletions(-) (limited to 'public/less') diff --git a/public/less/_repository.less b/public/less/_repository.less index c2b90fa9..66c35432 100644 --- a/public/less/_repository.less +++ b/public/less/_repository.less @@ -70,8 +70,8 @@ } } .header-wrapper { - background-color: #FAFAFA; - margin-top: -15px; + background-color: #FAFAFA; + margin-top: -15px; padding-top: 15px; .ui.tabs.divider { @@ -281,7 +281,7 @@ #avatar-arrow; &:after { border-right-color: #fff; - } + } .markdown { font-size: 14px; } @@ -456,6 +456,7 @@ } textarea { height: 200px; + font-family: "Consolas", monospace; } } @@ -531,6 +532,7 @@ } textarea { height: 200px; + font-family: "Consolas", monospace; } } } @@ -992,8 +994,11 @@ &.new { .CodeMirror { - .CodeMirror-code .cm-comment { - background: inherit; + .CodeMirror-code { + font-family: "Consolas", monospace; + .cm-comment { + background: inherit; + } } } @@ -1302,7 +1307,7 @@ border-right-color: #D4D4D5; border-width: 9px; margin-top: -9px; - } + } &:after { border-right-color: #f7f7f7; border-width: 8px; -- cgit v1.2.3