dejavu.css (2771B)
1 /* 2 * Copyright (c) 2024, Oracle and/or its affiliates. All rights reserved. 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. 4 * 5 * Licensed under the Universal Permissive License v 1.0 as shown at https://oss.oracle.com/licenses/upl/ 6 */ 7 8 /* DejaVu fonts v2.37 */ 9 10 @font-face { 11 font-family: 'DejaVu Sans Mono'; 12 src: url('DejaVuLGCSansMono.woff2') format('woff2'), 13 url('DejaVuLGCSansMono.woff') format('woff'); 14 font-weight: normal; 15 font-style: normal; 16 } 17 18 @font-face { 19 font-family: 'DejaVu Sans Mono'; 20 src: url('DejaVuLGCSansMono-Oblique.woff2') format('woff2'), 21 url('DejaVuLGCSansMono-Oblique.woff') format('woff'); 22 font-weight: normal; 23 font-style: italic; 24 } 25 26 @font-face { 27 font-family: 'DejaVu Sans Mono'; 28 src: url('DejaVuLGCSansMono-Bold.woff2') format('woff2'), 29 url('DejaVuLGCSansMono-Bold.woff') format('woff'); 30 font-weight: bold; 31 font-style: normal; 32 } 33 34 @font-face { 35 font-family: 'DejaVu Sans Mono'; 36 src: url('DejaVuLGCSansMono-BoldOblique.woff2') format('woff2'), 37 url('DejaVuLGCSansMono-BoldOblique.woff') format('woff'); 38 font-weight: bold; 39 font-style: italic; 40 } 41 42 @font-face { 43 font-family: 'DejaVu Sans'; 44 src: url('DejaVuLGCSans.woff2') format('woff2'), 45 url('DejaVuLGCSans.woff') format('woff'); 46 font-weight: normal; 47 font-style: normal; 48 } 49 50 @font-face { 51 font-family: 'DejaVu Sans'; 52 src: url('DejaVuLGCSans-Oblique.woff2') format('woff2'), 53 url('DejaVuLGCSans-Oblique.woff') format('woff'); 54 font-weight: normal; 55 font-style: italic; 56 } 57 58 @font-face { 59 font-family: 'DejaVu Sans'; 60 src: url('DejaVuLGCSans-Bold.woff2') format('woff2'), 61 url('DejaVuLGCSans-Bold.woff') format('woff'); 62 font-weight: bold; 63 font-style: normal; 64 } 65 66 @font-face { 67 font-family: 'DejaVu Sans'; 68 src: url('DejaVuLGCSans-BoldOblique.woff2') format('woff2'), 69 url('DejaVuLGCSans-BoldOblique.woff') format('woff'); 70 font-weight: bold; 71 font-style: italic; 72 } 73 74 @font-face { 75 font-family: 'DejaVu Serif'; 76 src: url('DejaVuLGCSerif.woff2') format('woff2'), 77 url('DejaVuLGCSerif.woff') format('woff'); 78 font-weight: normal; 79 font-style: normal; 80 } 81 82 @font-face { 83 font-family: 'DejaVu Serif'; 84 src: url('DejaVuLGCSerif-Italic.woff2') format('woff2'), 85 url('DejaVuLGCSerif-Italic.woff') format('woff'); 86 font-weight: normal; 87 font-style: italic; 88 } 89 90 @font-face { 91 font-family: 'DejaVu Serif'; 92 src: url('DejaVuLGCSerif-Bold.woff2') format('woff2'), 93 url('DejaVuLGCSerif-Bold.woff') format('woff'); 94 font-weight: bold; 95 font-style: normal; 96 } 97 98 @font-face { 99 font-family: 'DejaVu Serif'; 100 src: url('DejaVuLGCSerif-BoldItalic.woff2') format('woff2'), 101 url('DejaVuLGCSerif-BoldItalic.woff') format('woff'); 102 font-weight: bold; 103 font-style: italic; 104 }