JuliaDocs/Documenter.jl

Enable user to set default color scheme

Open

#1 573 ouverte le 30 avr. 2021

Voir sur GitHub
 (5 commentaires) (0 réactions) (0 assignés)Julia (513 forks)batch import
Format: HTMLType: Enhancementhelp wanted

Métriques du dépôt

Stars
 (910 stars)
Métriques de merge PR
 (Merge moyen 16j 9h) (3 PRs mergées en 30 j)

Description

I have to admit, while I think the PR https://github.com/JuliaDocs/Documenter.jl/pull/1456 is interesting and useful, I'm not sure it's a great idea by default. I think at least having an optional feature to override the default color-scheme would be beneficial.

For example, many documentation sites are not optimally set-up for dark-theme first (if the user has the OS set to a dark theme).

For example, take a look at https://jump.dev/JuMP.jl image

Similarly, the Makie docs look better with a light-default, as the animations and plots use a white background by default image

Guide contributeur

Direction de recherche
Examinez la PR #1456 existante et l'implémentation actuelle du schema de couleurs. Determinez ou les couleurs par defaut sont definies et comment permettre a l'utilisateur de les remplacer via la configuration.
Stack technique
julia
Domaine
documentation
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
JuliaGit
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
65