Skip to content

fix(css): correct color of messages - #71

Open
ROTARTSI82 wants to merge 1 commit into
leanprover:mainfrom
ROTARTSI82:patch-1
Open

fix(css): correct color of messages#71
ROTARTSI82 wants to merge 1 commit into
leanprover:mainfrom
ROTARTSI82:patch-1

Conversation

@ROTARTSI82

Copy link
Copy Markdown

It seems that changes to the CSS variables that verso expects (in verso#954) broke some styling for verso-slides. In particular, the new --verso-message-info-color CSS variable would be undefined, resulting in black text on info traces:

Image

I used an LLM to research and write this fix. In conjunction with a patch to verso itself (verso#973), this restores the old behavior:

image

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant