From 0161593de396e6aefe510bb1247d40bef4856689 Mon Sep 17 00:00:00 2001
From: Florian Sihler <florian.sihler@uni-ulm.de>
Date: Sat, 28 Sep 2024 14:03:41 +0200
Subject: [PATCH] doc(interface): fighting githubs way of doing things

---
 src/documentation/doc-util/doc-server-message.ts | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/documentation/doc-util/doc-server-message.ts b/src/documentation/doc-util/doc-server-message.ts
index 65cbc03ca3..faecf755cb 100644
--- a/src/documentation/doc-util/doc-server-message.ts
+++ b/src/documentation/doc-util/doc-server-message.ts
@@ -131,10 +131,11 @@ async function printServerMessage({
 	const base = defRequest ?? defResponse;
 	guard(base !== undefined, 'At least one of the definitions must be given');
 	return `
-<a id="message-${base.type}"></a> 
+<a id="message-${base.type}"></a>
+<b>${title}</b> Message (<code>${base.type}</code>, ${type}) <br/> <i><span style="color:gray">${shortDescription}</span></i> 
 <details>
 
-<summary> <b>${title}</b> Message (<code>${base.type}</code>, ${type}) <br/> <i><span style="color:gray">${shortDescription}</span></i> </summary>
+<summary> View Details </summary>
 
 <details open>
 <summary>Sequence Diagram</summary>