Use font "Bitstream Vera Sans" in Helios

resources/helios.css

@@ -20,7 +20,7 @@ body.navigation .CodeMirror pre {
 }
 body[id="helios"] {
   font-size: 11px;
-  font-family: "Lucida Grande", "Segoe UI", helvetica, arial, sans-serif;
+  font-family: "Bitstream Vera Sans", "Lucida Grande", "Segoe UI", helvetica, arial, sans-serif;
   background: #eeeeee url(squared_metal.png) repeat;
 }
 body[id="helios"] a {

resources/helios.less

@@ -25,7 +25,7 @@ body.navigation .CodeMirror pre {
 
 body[id="helios"] {
 	font-size: 11px;
-	font-family: "Lucida Grande", "Segoe UI", helvetica, arial, sans-serif;
+	font-family: "Bitstream Vera Sans", "Lucida Grande", "Segoe UI", helvetica, arial, sans-serif;
 	background: #eee url(squared_metal.png) repeat;
 
 	a {