Wikipedia:Bar/Discussioni/Dimensione font del codice

Un anonimo ha chiesto qui se sia possibile aumentare la dimensione del codice mostrato nelle pagine di wiki. Parlo, ad esempio, del codice visibile in Hello world. Io non vedo problemi a farlo, anche per una questione di accessibilità per gli ipovedenti, che ne dite? Jalo 09:49, 16 lug 2012 (CEST)

Favorevole decisamente. --Superchilum^(scrivimi) 09:52, 16 lug 2012 (CEST)

Favorevole --valepert 10:01, 16 lug 2012 (CEST)

Ma di quanto? --82.58.203.147 (msg) 10:19, 16 lug 2012 (CEST)

Non so voi ma io lo vedo già più grande e più nitido del testo normale. Gli ipovedenti si ingrandiscono da soli tutta la pagina, perché dobbiamo aumentare la dimensione relativa solo del codice? --Bultro (m) 11:18, 16 lug 2012 (CEST)

Portandolo alla stessa dimensione del testo normale. Adesso si vede più piccolo Jalo 11:58, 16 lug 2012 (CEST)

Bultro, che browser usi? Potrebbe essere per questo che lo vedi più grande Jalo 12:00, 16 lug 2012 (CEST)

Da IP con FF su Mac in effetti il codice lo vedo più piccolo; come utente potrei non fare testo: ho modificato il css apposta per modificare le dimensioni dei font... e comunque lo vedo più piccolo lo stesso rispetto al resto della pagina. Dunque Favorevole --Dry Martini confidati col barista 12:25, 16 lug 2012 (CEST)

L'"Effetto Bultro" l'ho ottenuto con Firefox andando a modificare nelle opzioni le dimensioni del font "Monospace": di default c'è Courier New a 13 punti (contrariamente al testo normale che è Times New Roman a 16 punti). Se Bultro ha aumentato lì le dimensioni, adesso vede il testo del codice molto più grande del normale. Anch'io sarei Favorevole perché non è giusto che solo Bultro goda di questa prerogativa :-) --Lepido (msg) 12:36, 16 lug 2012 (CEST)

Favorevole, mi chiedevo infatti perché dovesse essere più piccolo! --Pier ^«···» 13:39, 16 lug 2012 (CEST)

Lepido, a me il font-size appare proprio non settato. Se fosse settato a 13px o a "medium" andrebbe benissimo Jalo 14:22, 16 lug 2012 (CEST)

Favorevole--Gabrasca (MyTalk) 14:24, 16 lug 2012 (CEST)

Favorevole.--Marco 27 14:26, 16 lug 2012 (CEST)

Molto ma molto Favorevole, volevo proporlo da parecchio tempo. Se non vado errato il problema è comparso quando avvenne il passaggio da monobook a vector, e si verifica anche negli altri usi del font monospace, ad esempio l'ora in cui risulta effettuata una modifica elencata negli osservati speciali; avevo risolto quest ultimo problema utilizzando questo codice CSS, che vi posto nel caso voleste utilizzarlo nel CSS globale:

/* Testo monospace troppo piccolo negli osservati speciali */

td.mw-enhanced-rc { font-size: 120% }

table.mw-enhanced-rc td span a { font-size: 120% }

--Una giornata uggiosa '94 · E poi, di che parliamo? 14:28, 16 lug 2012 (CEST)

Credo che il tag da modificare sia "mw-code", e dovrebbe bastare metterlo a "medium" per andare sul sicuro Jalo 14:43, 16 lug 2012 (CEST)

Uso Chrome su Fedora e anch'io vedo le scritte del codice troppo piccole. Anch'io sono pertanto Favorevole all'ingrandimento del font. Restu²⁰ 14:47, 16 lug 2012 (CEST)

Per la cronaca, uso Firefox e non ho modificato l'impostazione di default (Courier New a 13 punti). Lo vedo grande anche con IE. Sono un caso a parte, a quanto pare... --Bultro (m) 15:16, 16 lug 2012 (CEST)

a me si vede piccolino con Chrome e Firefox, mentre si vede normale con IE... forse bisogna pensarci un attimo. --Superchilum^(scrivimi) 16:00, 16 lug 2012 (CEST)

Confermo: decisamente piccolo con Firefox, giusto con Internet Explorer. --BohemianRhapsody (msg) 16:43, 16 lug 2012 (CEST)

Anch'io lo vedo piccolo in Firefox e normale in IE. --Aushulz (msg) 16:44, 16 lug 2012 (CEST)

Per completezza: si vede piccolo anche in Safari.-- / Kàmina / 17:45, 16 lug 2012 (CEST)

Aumentando la dimensione qui, in IE si vede troppo grosso. Non capisco come fare a renderlo corretto per entrambi Jalo 18:13, 16 lug 2012 (CEST)

Favorevole meglio troppo grosso con un browser e normale con un'altro, che non normale e piccolo. L'unico dubbio e' come reagiranno alla modifica, a livello di dimensioni mostrate, i browser degli smartphone.--Yoggysot (msg) 21:33, 16 lug 2012 (CEST)

C'ho messo un po' a capire dove stava l'inghippo: credo che sia font-family: monospace, che fa ricadere sul font ridotto che facilmente è impostato sul browser per compensare l'altezza della x maggiorata dei monospace. Ecco come hanno risolto in en.wikipedia (en:MediaWiki:Common.css), aggirando l'impostazione di monospace nel browser con l'aggiunta a font-family di Courier:

/* Fix so <syntaxhighlight> tags and .css and .js pages get normal text size.
   [[Bugzilla:26204]] */
div.mw-geshi div,
div.mw-geshi div pre,
span.mw-geshi,
pre.source-css,
pre.source-javascript {
    font-family: monospace, Courier !important;
}

-- Codicorumus  « msg 07:23, 17 lug 2012 (CEST)