release candidate 2

25 files changed, 104 insertions, 0 deletions

diff --git a/doc/resource-files/fonts/DejaVuLGCSans-Bold.woff b/doc/resource-files/fonts/DejaVuLGCSans-Bold.woff
new file mode 100644
index 0000000..63a79c0
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSans-Bold.woff
diff --git a/doc/resource-files/fonts/DejaVuLGCSans-Bold.woff2 b/doc/resource-files/fonts/DejaVuLGCSans-Bold.woff2
new file mode 100644
index 0000000..0665554
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSans-Bold.woff2
diff --git a/doc/resource-files/fonts/DejaVuLGCSans-BoldOblique.woff b/doc/resource-files/fonts/DejaVuLGCSans-BoldOblique.woff
new file mode 100644
index 0000000..dead290
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSans-BoldOblique.woff
diff --git a/doc/resource-files/fonts/DejaVuLGCSans-BoldOblique.woff2 b/doc/resource-files/fonts/DejaVuLGCSans-BoldOblique.woff2
new file mode 100644
index 0000000..89328f3
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSans-BoldOblique.woff2
diff --git a/doc/resource-files/fonts/DejaVuLGCSans-Oblique.woff b/doc/resource-files/fonts/DejaVuLGCSans-Oblique.woff
new file mode 100644
index 0000000..6c62443
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSans-Oblique.woff
diff --git a/doc/resource-files/fonts/DejaVuLGCSans-Oblique.woff2 b/doc/resource-files/fonts/DejaVuLGCSans-Oblique.woff2
new file mode 100644
index 0000000..8a50fa1
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSans-Oblique.woff2
diff --git a/doc/resource-files/fonts/DejaVuLGCSans.woff b/doc/resource-files/fonts/DejaVuLGCSans.woff
new file mode 100644
index 0000000..a0f1efa
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSans.woff
diff --git a/doc/resource-files/fonts/DejaVuLGCSans.woff2 b/doc/resource-files/fonts/DejaVuLGCSans.woff2
new file mode 100644
index 0000000..fecdbd8
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSans.woff2
diff --git a/doc/resource-files/fonts/DejaVuLGCSansMono-Bold.woff b/doc/resource-files/fonts/DejaVuLGCSansMono-Bold.woff
new file mode 100644
index 0000000..9f646ba
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSansMono-Bold.woff
diff --git a/doc/resource-files/fonts/DejaVuLGCSansMono-Bold.woff2 b/doc/resource-files/fonts/DejaVuLGCSansMono-Bold.woff2
new file mode 100644
index 0000000..346de2d
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSansMono-Bold.woff2
diff --git a/doc/resource-files/fonts/DejaVuLGCSansMono-BoldOblique.woff b/doc/resource-files/fonts/DejaVuLGCSansMono-BoldOblique.woff
new file mode 100644
index 0000000..7a6b3ac
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSansMono-BoldOblique.woff
diff --git a/doc/resource-files/fonts/DejaVuLGCSansMono-BoldOblique.woff2 b/doc/resource-files/fonts/DejaVuLGCSansMono-BoldOblique.woff2
new file mode 100644
index 0000000..ede24ef
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSansMono-BoldOblique.woff2
diff --git a/doc/resource-files/fonts/DejaVuLGCSansMono-Oblique.woff b/doc/resource-files/fonts/DejaVuLGCSansMono-Oblique.woff
new file mode 100644
index 0000000..892833b
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSansMono-Oblique.woff
diff --git a/doc/resource-files/fonts/DejaVuLGCSansMono-Oblique.woff2 b/doc/resource-files/fonts/DejaVuLGCSansMono-Oblique.woff2
new file mode 100644
index 0000000..9e90514
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSansMono-Oblique.woff2
diff --git a/doc/resource-files/fonts/DejaVuLGCSansMono.woff b/doc/resource-files/fonts/DejaVuLGCSansMono.woff
new file mode 100644
index 0000000..e94e844
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSansMono.woff
diff --git a/doc/resource-files/fonts/DejaVuLGCSansMono.woff2 b/doc/resource-files/fonts/DejaVuLGCSansMono.woff2
new file mode 100644
index 0000000..9460c05
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSansMono.woff2
diff --git a/doc/resource-files/fonts/DejaVuLGCSerif-Bold.woff b/doc/resource-files/fonts/DejaVuLGCSerif-Bold.woff
new file mode 100644
index 0000000..0f38846
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSerif-Bold.woff
diff --git a/doc/resource-files/fonts/DejaVuLGCSerif-Bold.woff2 b/doc/resource-files/fonts/DejaVuLGCSerif-Bold.woff2
new file mode 100644
index 0000000..d65a5e9
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSerif-Bold.woff2
diff --git a/doc/resource-files/fonts/DejaVuLGCSerif-BoldItalic.woff b/doc/resource-files/fonts/DejaVuLGCSerif-BoldItalic.woff
new file mode 100644
index 0000000..63fd5e3
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSerif-BoldItalic.woff
diff --git a/doc/resource-files/fonts/DejaVuLGCSerif-BoldItalic.woff2 b/doc/resource-files/fonts/DejaVuLGCSerif-BoldItalic.woff2
new file mode 100644
index 0000000..e29307e
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSerif-BoldItalic.woff2
diff --git a/doc/resource-files/fonts/DejaVuLGCSerif-Italic.woff b/doc/resource-files/fonts/DejaVuLGCSerif-Italic.woff
new file mode 100644
index 0000000..5df6d00
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSerif-Italic.woff
diff --git a/doc/resource-files/fonts/DejaVuLGCSerif-Italic.woff2 b/doc/resource-files/fonts/DejaVuLGCSerif-Italic.woff2
new file mode 100644
index 0000000..61ff146
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSerif-Italic.woff2
diff --git a/doc/resource-files/fonts/DejaVuLGCSerif.woff b/doc/resource-files/fonts/DejaVuLGCSerif.woff
new file mode 100644
index 0000000..280e378
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSerif.woff
diff --git a/doc/resource-files/fonts/DejaVuLGCSerif.woff2 b/doc/resource-files/fonts/DejaVuLGCSerif.woff2
new file mode 100644
index 0000000..bbd32cd
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSerif.woff2
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 @@
+/*
+ * Copyright (c) 2024, Oracle and/or its affiliates. All rights reserved.
+ * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
+ *
+ * Licensed under the Universal Permissive License v 1.0 as shown at https://oss.oracle.com/licenses/upl/
+ */
+
+/* DejaVu fonts v2.37 */
+
+@font-face {
+  font-family: 'DejaVu Sans Mono';
+  src: url('DejaVuLGCSansMono.woff2') format('woff2'),
+       url('DejaVuLGCSansMono.woff') format('woff');
+  font-weight: normal;
+  font-style: normal;
+}
+
+@font-face {
+  font-family: 'DejaVu Sans Mono';
+  src: url('DejaVuLGCSansMono-Oblique.woff2') format('woff2'),
+       url('DejaVuLGCSansMono-Oblique.woff') format('woff');
+  font-weight: normal;
+  font-style: italic;
+}
+
+@font-face {
+  font-family: 'DejaVu Sans Mono';
+  src: url('DejaVuLGCSansMono-Bold.woff2') format('woff2'),
+       url('DejaVuLGCSansMono-Bold.woff') format('woff');
+  font-weight: bold;
+  font-style: normal;
+}
+
+@font-face {
+  font-family: 'DejaVu Sans Mono';
+  src: url('DejaVuLGCSansMono-BoldOblique.woff2') format('woff2'),
+       url('DejaVuLGCSansMono-BoldOblique.woff') format('woff');
+  font-weight: bold;
+  font-style: italic;
+}
+
+@font-face {
+  font-family: 'DejaVu Sans';
+  src: url('DejaVuLGCSans.woff2') format('woff2'),
+       url('DejaVuLGCSans.woff') format('woff');
+  font-weight: normal;
+  font-style: normal;
+}
+
+@font-face {
+  font-family: 'DejaVu Sans';
+  src: url('DejaVuLGCSans-Oblique.woff2') format('woff2'),
+       url('DejaVuLGCSans-Oblique.woff') format('woff');
+  font-weight: normal;
+  font-style: italic;
+}
+
+@font-face {
+  font-family: 'DejaVu Sans';
+  src: url('DejaVuLGCSans-Bold.woff2') format('woff2'),
+       url('DejaVuLGCSans-Bold.woff') format('woff');
+  font-weight: bold;
+  font-style: normal;
+}
+
+@font-face {
+  font-family: 'DejaVu Sans';
+  src: url('DejaVuLGCSans-BoldOblique.woff2') format('woff2'),
+       url('DejaVuLGCSans-BoldOblique.woff') format('woff');
+  font-weight: bold;
+  font-style: italic;
+}
+
+@font-face {
+  font-family: 'DejaVu Serif';
+  src: url('DejaVuLGCSerif.woff2') format('woff2'),
+       url('DejaVuLGCSerif.woff') format('woff');
+  font-weight: normal;
+  font-style: normal;
+}
+
+@font-face {
+  font-family: 'DejaVu Serif';
+  src: url('DejaVuLGCSerif-Italic.woff2') format('woff2'),
+       url('DejaVuLGCSerif-Italic.woff') format('woff');
+  font-weight: normal;
+  font-style: italic;
+}
+
+@font-face {
+  font-family: 'DejaVu Serif';
+  src: url('DejaVuLGCSerif-Bold.woff2') format('woff2'),
+       url('DejaVuLGCSerif-Bold.woff') format('woff');
+  font-weight: bold;
+  font-style: normal;
+}
+
+@font-face {
+  font-family: 'DejaVu Serif';
+  src: url('DejaVuLGCSerif-BoldItalic.woff2') format('woff2'),
+       url('DejaVuLGCSerif-BoldItalic.woff') format('woff');
+  font-weight: bold;
+  font-style: italic;
+}