JuliaDocs/Documenter.jl

Enable user to set default color scheme

Open

#1.573 aberto em 30 de abr. de 2021

Ver no GitHub
 (5 comments) (0 reactions) (0 assignees)Julia (513 forks)batch import
Format: HTMLType: Enhancementhelp wanted

Métricas do repositório

Stars
 (910 stars)
Métricas de merge de PR
 (Mesclagem média 16d 9h) (3 fundiu PRs em 30d)

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

Guia do colaborador

Direção de pesquisa
Examine o PR #1456 existente e a implementação atual do esquema de cores. Determine onde as cores padrão são definidas e como permitir que o usuário as substitua por meio da configuração.
Pilha de tecnologia
julia
Domain
documentation
Tipo Issue
Funcionalidade
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
2
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-3 horas
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
JuliaGit
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
65