Skip to content

add "Tutorial" label#917

Merged
mccalluc merged 2 commits intomainfrom
855-label-tutorial-toggle
Apr 7, 2026
Merged

add "Tutorial" label#917
mccalluc merged 2 commits intomainfrom
855-label-tutorial-toggle

Conversation

@mccalluc
Copy link
Copy Markdown
Contributor

Screenshot 2026-03-11 at 3 36 04 PM

It's higher than I'd like, but I spent some time wrangling the CSS, and although I was able to bring the controls down, moving the "Tutorial" down with margin-top also lowered the horizontal grey line, and separated it from the tab outline.

If anyone else wants to try, feel free! If this looks too ugly, don't feel obliged to approve.

There's already a little custom CSS in styles.css for this part of the UI:

/*
The tutorial mode toggle in the navbar is positioned slightly too high.
*/
.shiny-input-container:has(#tutorial_mode) {
    margin-top: 0.15em;
    margin-bottom: -0.15em;
}

@mccalluc mccalluc moved this from Pending to Ready for Review in DP Wizard Mar 11, 2026
Copy link
Copy Markdown
Member

@ekraffmiller ekraffmiller left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

looks good!

@github-project-automation github-project-automation Bot moved this from Ready for Review to Ready to Merge in DP Wizard Apr 7, 2026
@mccalluc mccalluc merged commit 779485b into main Apr 7, 2026
4 checks passed
@mccalluc mccalluc deleted the 855-label-tutorial-toggle branch April 7, 2026 14:19
@github-project-automation github-project-automation Bot moved this from Ready to Merge to Complete in DP Wizard Apr 7, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Complete

Development

Successfully merging this pull request may close these issues.

Label toggle with "Tutorial"

2 participants