padding-right: 6px;
font-weight: 500;
}
-
-
-
-@font-face {
- font-family: 'Source Code Pro';
- src: url('../fonts/sourcecodepro-regular.woff') format('woff');
- font-weight: normal;
- font-style: normal;
-}
-
-@font-face {
- font-family: 'Source Code Pro';
- src: url('../fonts/sourcecodepro-semibold.woff') format('woff');
- font-weight: 600;
- font-style: normal;
-}
.sources2 td.line pre {
font-size: 12px;
- font-family: monospace;
+ font-family: @monoFontFamily;
}
.sources2 td.ind {
border: 1px dashed #aaa;
.box-sizing(border-box);
font-size: 12px;
- font-family: monospace;;
+ font-family: @monoFontFamily;
}
.rule-desc blockquote, .property blockquote, .bubble-popup blockquote, .coding-rules-detail-parameter blockquote {
/* Profile diff */
.diffParam {
- font-family: 'Bitstream Vera Sans Mono', 'Courier', monospace;
+ font-family: @monoFontFamily;
}
.yellowHighlight {