jandieman
/
searxng
mirror of https://github.com/searxng/searxng.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

Change font

This commit is contained in:
Cqoicebordel 2015-02-17 18:50:57 +01:00
parent e181041f11
commit af100afb98
3 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
searx/static/themes/pix-art/css/style.css
View File

File diff suppressed because one or more lines are too long

1
searx/static/themes/pix-art/less/search.less
View File

@ -23,6 +23,7 @@
border: 1px solid @color-search-border; border: 1px solid @color-search-border;
color: @color-search-font; color: @color-search-font;
font-size: 16px; font-size: 16px;
font-family: "Courier New", Courier, monospace;
height: 28px; height: 28px;
margin: 0; margin: 0;
outline: medium none; outline: medium none;

6
searx/static/themes/pix-art/less/style.less
View File

@ -12,7 +12,7 @@
// Main LESS-Code // Main LESS-Code
html { html {
font-family: sans-serif; font-family: "Courier New", Courier, monospace;
font-size: 0.9em; font-size: 0.9em;
.text-size-adjust; .text-size-adjust;
color: @color-font; color: @color-font;
@ -113,7 +113,9 @@ div.title {
} }
} }
input[type="button"] { input[type="button"],
input[type="submit"] {
font-family: "Courier New", Courier, monospace;
padding: 4px 12px; padding: 4px 12px;
margin: 2px 4px; margin: 2px 4px;
display: inline-block; display: inline-block;