From 28a34905c7d5dd19a4c7948faa3612a35939393d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nicol=C3=B2=20P=2E?= Date: Wed, 10 Jun 2026 09:24:42 +0200 Subject: [PATCH] Minor adjustments --- src/controllers/menu_controller.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/controllers/menu_controller.js b/src/controllers/menu_controller.js index a049199..6843a09 100644 --- a/src/controllers/menu_controller.js +++ b/src/controllers/menu_controller.js @@ -233,7 +233,7 @@ export default class extends Controller { mainNode.innerHTML = html` ${ontology.ontology} `; - mainNode.classList.add('border-bottom', 'pb-3'); + mainNode.classList.add('pb-3'); let domainList = document.createElement('div');