Skip to content

[📖] refactor the repl CSS #7830

New issue
New issue
Open
Open
[📖] refactor the repl CSS#7830
Labels
COMMUNITY: good first issueGood for newcomersCOMMUNITY: PR is welcomedWe think it's a good feature to have but would love for the community to help with the PR for itCOMP: docsImprovements or additions to documentation
@wmertens

Description

@wmertens
wmertens
opened on Aug 16, 2025

Suggestion

The REPL is used in /playground, /tutorial and /examples, and the CSS is quite different each time. Make it all the same, and feel free to improve things.

Metadata

Metadata

Assignees

No one assigned

    Labels

    COMMUNITY: good first issueGood for newcomersCOMMUNITY: PR is welcomedWe think it's a good feature to have but would love for the community to help with the PR for itCOMP: docsImprovements or additions to documentation

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions