lavender-legacy/gitea
7
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Merge pull request #2879 from dakira/develop

Browse source 
use monospace font for wiki and issue textareas (fix #2869)
This commit is contained in:
Unknwon 2016-03-23 10:32:24 -04:00
commit d3db1b2591
2 changed files with 16 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
public/css/gogs.css
View file

@ -1506,6 +1506,7 @@ footer .container .links > *:first-child {
}
.repository.view.issue .comment-list .comment .ui.form textarea {
height: 200px;
font-family: "Consolas", monospace;
}
.repository.view.issue .comment-list .comment .edit.buttons {
margin-top: 10px;
@ -1587,6 +1588,7 @@ footer .container .links > *:first-child {
}
.repository .comment.form .content textarea {
height: 200px;
font-family: "Consolas", monospace;
}
.repository .label.list {
list-style: none;
@ -1966,6 +1968,9 @@ footer .container .links > *:first-child {
.repository.wiki.start .ui.segment .mega-octicon {
font-size: 48px;
}
.repository.wiki.new .CodeMirror .CodeMirror-code {
font-family: "Consolas", monospace;
}
.repository.wiki.new .CodeMirror .CodeMirror-code .cm-comment {
background: inherit;
}

17
public/less/_repository.less
View file

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