kallithea Changeset - d5735ad95dc8

Changeset - d5735ad95dc8

Parent rev.

Child rev.

[Not reviewed]

default

0 3 0

domruf - 8 years ago 2017-10-26 00:38:00
dominikruf@gmail.com

less: use @font-family-monospace variable

No visual change.

3 files changed with 9 insertions and 2 deletions:

kallithea/public/less/kallithea-diff.less

kallithea/public/less/kallithea-variables.less

kallithea/public/less/style.less

0 comments (0 inline, 0 general)

kallithea/public/less/kallithea-diff.less

➞

Show inline comments

@@ @@ -133,13 +133,15 @@ BIN_FILENODE = 6 @@
+  }
   .lineno.old {
     text-align: right;
+  }
   .lineno a {
     color: #aaa !important;
     font: 11px Lucida Console, Consolas, Monaco, Inconsolata, Liberation Mono, monospace !important;
     font-size: 11px;
     font-family: @font-family-monospace;
     line-height: normal;
     padding-left: 6px;
     padding-right: 6px;
     display: block;
+  }
   .line:hover .lineno a {
     color: #333 !important;

kallithea/public/less/kallithea-variables.less

➞

Show inline comments

 /* logo */
 @kallithea-logo-url:                "../images/kallithea-logo.svg";
 @kallithea-logo-width:              140px;
 @kallithea-logo-height:             30px;
 @kallithea-logo-bottom:             4px;
 /* bootstrap override */
 @font-family-monospace:             Lucida Console, Consolas, Monaco, Inconsolata, Liberation Mono, monospace;

kallithea/public/less/style.less

➞

Show inline comments

@@ @@ -22,14 +22,15 @@ div.formatted-fixed, @@
 /* class for texts where newlines should be preserved, for very light-weight ascii art markup (like pull request descriptions) */
 .formatted-fixed {
   white-space: pre-wrap;
+}
 /* use monospace for changeset hashes */
 .changeset_hash {
-  font-family: Lucida Console, Consolas, Monaco, Inconsolata, Liberation Mono, monospace;
+  font-family: @font-family-monospace;
+}
 /* Note: class 'icon-empty' or 'icon-gravatar' can be used to get icon-ish styling without an actual glyph */
 i[class^='icon-empty'],
 i[class^='icon-gravatar'] {
   background-repeat: no-repeat;

0 comments (0 inline, 0 general)