From b11a9686e39fcf2223443de05c2cbfa7cae3f038 Mon Sep 17 00:00:00 2001
From: jojohoch <joachim.hoch@iqb.hu-berlin.de>
Date: Fri, 19 Nov 2021 11:25:40 +0100
Subject: [PATCH] [player] Improve styles of highlight and underline buttons
---
projects/common/element-components/text.component.ts | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/projects/common/element-components/text.component.ts b/projects/common/element-components/text.component.ts
index 5dacabd14..0e984cf92 100644
--- a/projects/common/element-components/text.component.ts
+++ b/projects/common/element-components/text.component.ts
@@ -51,9 +51,9 @@ import { ValueChangeElement } from '../models/uI-element';
</div>
`,
styles: [
- '.marking-bar {position: sticky; top: 0; margin-bottom: 15px}',
- '.marking-button {color: #333}',
- '::ng-deep .text-container p strong {letter-spacing: 0.04em; font-weight: 600}', // bold less bold
+ '.marking-bar {position: sticky; top: 0; margin-bottom: 15px; padding-left: 4px;}',
+ '.marking-button {color: #333; margin: 5px 0 0 5px;}',
+ '::ng-deep .text-container p strong {letter-spacing: 0.04em; font-weight: 600;}', // bold less bold
'::ng-deep .text-container p:empty::after {content: "\\00A0"}', // render empty p
'::ng-deep .text-container h1 {font-weight: bold; font-size: 20px;}',
'::ng-deep .text-container h2 {font-weight: bold; font-size: 18px;}',
--
GitLab