From 13300b698e20d6f2161b84271798d2f5efdbbc22 Mon Sep 17 00:00:00 2001 From: Raphael Forment Date: Sun, 27 Aug 2023 19:35:49 +0200 Subject: [PATCH] making button font smaller --- src/Documentation.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Documentation.ts b/src/Documentation.ts index 1a2af7c..ac71c70 100644 --- a/src/Documentation.ts +++ b/src/Documentation.ts @@ -28,7 +28,7 @@ const samples_to_markdown = (application: Editor) => { markdownList += `