1 @font-face {

     2 	font-family: "lmsans10-regular";

     3 	src: url("lmsans10-regular.woff");

     4 }

     5 

     6 @font-face {

     7 	font-family: "lmmono10-regular";

     8 	src: url("lmmono10-regular.woff");

     9 }

    10 

    11 @font-face {

    12 	font-family: "DejaVuSansMono";

    13 	src: url("DejaVuSansMono.woff");

    14 }

    15 

    16 body {

    17 	font-family: "lmsans10-regular", sans-serif;

    18 }

    19 

    20 code {

    21 	font-family: "lmmono10-regular", "DejaVuSansMono", monospace;

    22 }

    23 

    24 pre {

    25 	font-family: "DejaVuSansMono", monospace;

    26 	-moz-tab-size: 4;

    27 	-o-tab-size: 4;

    28 	tab-size: 4;

    29 }

    30