From cca062c59b36e6fb08cdc481677b7a978fee7063 Mon Sep 17 00:00:00 2001 From: Giorgio Garofalo Date: Thu, 5 Sep 2024 17:46:36 +0200 Subject: [PATCH] Add icons to warning and tip boxes (via ![Boxicons](https://boxicons.com)) --- .../main/resources/render/html-wrapper.html | 1 + .../main/resources/render/theme/global.css | 29 +++++++++++++++++++ 2 files changed, 30 insertions(+) diff --git a/core/src/main/resources/render/html-wrapper.html b/core/src/main/resources/render/html-wrapper.html index 14fef18f..b814b727 100644 --- a/core/src/main/resources/render/html-wrapper.html +++ b/core/src/main/resources/render/html-wrapper.html @@ -16,6 +16,7 @@ [[endif:SLIDES]] +