theme: Change default font to DejaVu Sans.

diff --git a/html/html/themes/ipfire/include/css/style.css b/html/html/themes/ipfire/include/css/style.css
index b92b9dc02d154789bafd55831a3cd6162900f6bc..1097b2ddb1c88251cbc06b1f2b8c5cfcdc466eb8 100644 (file)
--- a/html/html/themes/ipfire/include/css/style.css
+++ b/html/html/themes/ipfire/include/css/style.css
@@ -113,7 +113,7 @@ body {
        background-attachment: fixed;
 
        font-size: 9pt;
-       font-family: "trebuchet ms", helvetica, sans-serif;
+       font-family: "DejaVu Sans", Helvetica, sans-serif;
 }