Taille de la police dans le textarea d'édition

[Loic d'Anterroches]

Salut,

je me disais, cela ne serait-il pas possible d'avoir une taille de
police plus importante dans la zone d'édition du textarea avec
éventuellement une police monotype ? Je suis toujours obligé de grandir
la police avec firefox.

loïc

[Jojaba]

Loic d'Anterroches a écrit :

J'ai pas ce problème avec Firefox, ceci dit, cela a sûrement quelque
chose à voir avec la résolution d'écran (1440x900 pour moi). Tu veux
qu'on résolve ça en passant par la css ? Ou la solution js (créer un
bouton dans visualedit pour agrandir la police) te conviendrait mieux ?

[Loic d'Anterroches]

Je le ferais bien directement au niveau CSS. Surtout la police
monospace. Je dois avoir la vue qui baisse car avant je n'avais pas ce
problème de taille de police mais maintenant oui...

loïc

[Jojaba]

Encore une petite question : c'est en mode visuel HTML que la police est la plus petite, c'est celle-la qui pose problème ou la police dans les textarea "brutes" (wiki et html source) ?

[Loic d'Anterroches]

Dans mon cas je travaille toujours en mode wiki brut (le mode wiki est
toujours brut en fait). Cela vient peut-être de là.

loïc

[Jojaba]

Loic d'Anterroches a écrit :

Dans mon cas je travaille toujours en mode wiki brut (le mode wiki est
toujours brut en fait). Cela vient peut-être de là.

loïc

  

Non, non, le mode brut propose une taille de police plus grande que celle du mode visuel HTML (tu n'as qu'à essayer, je pense que si tu n'arrives pas bien à lire en mode wiki, en mode visuel HTML tu ne verras quasiment rien :-P )
Voici quelques propositions de polices monospace (trouvées sur wikipédia) :

1) courier (je pense que celle-là doit se trouver sur tous les types d'OS) :


2) monospace :


3) helvetica :


Toutes les polices visibles sur les copies d'écran ont une taille de 1.1em.