Update styles.

This commit is contained in:
Lars Jung 2015-05-16 05:05:22 +02:00
parent d9ea66ef85
commit 8e5b874490
3 changed files with 4 additions and 13 deletions

View File

@ -275,15 +275,11 @@ class Context {
$html = '<style class="x-head">';
if (sizeof($fonts) > 0) {
$html .= '#root, #root input, #root select {font-family: "';
$html .= implode('","', $fonts);
$html .= '" !important}';
$html .= '#root,input,select{font-family:"' . implode('","', $fonts) . '"!important}';
}
if (sizeof($fonts_mono) > 0) {
$html .= '#root pre, #root code {font-family: "';
$html .= implode('","', $fonts_mono);
$html .= '" !important}';
$html .= 'pre,code{font-family:"' . implode('","', $fonts_mono) . '"!important}';
}
$html .= '</style>';

View File

@ -29,7 +29,7 @@ Options
"resources": {
"scripts": [],
"styles": [
"//fonts.googleapis.com/css?family=Roboto:300,400,700"
"//fonts.googleapis.com/css?family=Ubuntu:300,400,700|Ubuntu+Mono:400,700"
]
},

View File

@ -6,15 +6,10 @@
right: 0;
bottom: 0;
overflow: hidden;
font-family: @font-family;
font-size: @font-size;
font-weight: @font-weight;
color: @col-text;
background: @col-back;
}
input, select {
#root, input, select {
font-family: @font-family;
font-size: @font-size;
font-weight: @font-weight;