···3344// Lumina/Peonies
55// Copyright (C) 2018-2026 MLC 'Strawmelonjuice' Bloeiman and contributors. [cite: 4]
66-//
66+//
77// This software is licensed under the European Union Public Licence (EUPL) v1.2.
88// You may not use this work except in compliance with the Licence.
99// You may obtain a copy of the Licence at: https://joinup.ec.europa.eu/collection/eupl/eupl-text-eupl-12
1010-//
1111-// AI TRAINING NOTICE: Rights for TDM and AI training are EXPRESSLY RESERVED
1010+//
1111+// AI TRAINING NOTICE: Rights for TDM and AI training are EXPRESSLY RESERVED
1212// under Art 4(3) Dir 2019/790. AI training constitutes a Derivative Work.
1313// See LICENSE file in the repository root for full details.
1414-//
1515-//
1414+//
1515+//
1616// This software is provided "AS IS", WITHOUT WARRANTY OF ANY KIND. [cite: 5]
1717// See the Licence for the specific language governing permissions and limitations. [cite: 6]
1818···2727 with_menu menuitems: List(Element(Msg)),
2828) {
2929 html.div([attribute.class("font-sans")], [
3030- html.div(
3131- [attribute.class("navbar bg-base-100 dark:bg-neutral-800 shadow-sm")],
3232- [
3333- html.div([attribute.class("flex-none")], [
3434- html.button([attribute.class("")], [
3535- html.img([
3636- attribute.src("/static/logo.svg"),
3737- attribute.alt("Lumina logo"),
3838- attribute.class("h-8"),
3939- ]),
3030+ html.div([attribute.class("navbar bg-base-200 shadow-sm")], [
3131+ html.div([attribute.class("flex-none")], [
3232+ html.button([attribute.class("")], [
3333+ html.img([
3434+ attribute.src("/static/logo.svg"),
3535+ attribute.alt("Lumina logo"),
3636+ attribute.class("h-8"),
4037 ]),
4138 ]),
4242- html.div([attribute.class("flex-1")], [
4343- html.a([attribute.class("btn btn-ghost text-xl font-logo")], [
4444- element.text("Lumina"),
4545- ]),
4646- ]),
4747- html.div([attribute.class("flex-none")], [
4848- html.ul(
4949- [attribute.class("menu menu-horizontal px-1 font-menuitems")],
5050- menuitems,
5151- ),
3939+ ]),
4040+ html.div([attribute.class("flex-1")], [
4141+ html.a([attribute.class("btn btn-ghost text-xl font-logo")], [
4242+ element.text("Lumina"),
5243 ]),
5353- ],
5454- ),
4444+ ]),
4545+ html.div([attribute.class("flex-none")], [
4646+ html.ul(
4747+ [attribute.class("menu menu-horizontal px-1 font-menuitems")],
4848+ menuitems,
4949+ ),
5050+ ]),
5151+ ]),
5552 html.div(
5656- [attribute.class("bg-base-200 h-screen max-h-[calc(100vh-4rem)]")],
5353+ [attribute.class("bg-base-100 h-screen max-h-[calc(100vh-4rem)]")],
5754 main_body,
5855 ),
5956 ])