summaryrefslogtreecommitdiff
path: root/doc/resource-files/fonts/dejavu.css
diff options
context:
space:
mode:
Diffstat (limited to 'doc/resource-files/fonts/dejavu.css')
-rw-r--r--doc/resource-files/fonts/dejavu.css104
1 files changed, 104 insertions, 0 deletions
diff --git a/doc/resource-files/fonts/dejavu.css b/doc/resource-files/fonts/dejavu.css
new file mode 100644
index 0000000..b450caa
--- /dev/null
+++ b/doc/resource-files/fonts/dejavu.css
@@ -0,0 +1,104 @@
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}