- Refreshed Documentation

- UML to PUML.
This commit is contained in:
2026-03-18 16:45:42 +01:00
parent 0ba46cc9cc
commit 0be6adc4ba
92 changed files with 8417 additions and 0 deletions

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

View File

@@ -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;
}