OVH Cloud OVH Cloud

Police code source Safari

22 réponses
Avatar
Olivier
Bonjour,
Est-il possible de changer la police/taille du texte du code source de
Safari ? Le monaco c.10 m'est quasi illisible.
--
Olivier

10 réponses

1 2 3
Avatar
langmc
Olivier wrote:

Bonjour,
Est-il possible de changer la police/taille du texte du code source de
Safari ? Le monaco c.10 m'est quasi illisible.



Préférence -> Aspect



--
Le sage montre la lune, l'imbécile regarde le doigt.

Avatar
Olivier
Le 7/06/06 9:22, dans 1hgk1yz.huvhoy1nfcuv1N%,
« michel langlois » a écrit :

Olivier wrote:

Bonjour,
Est-il possible de changer la police/taille du texte du code source de
Safari ? Le monaco c.10 m'est quasi illisible.



Préférence -> Aspect



J'ai déjà essayé, mais ça ne change rien.
--
Olivier


Avatar
Olivier
Le 7/06/06 10:15, dans 1hgk4d9.sqm3jyh1n6xbN%jose.campos+,
« José Campos » <jose.campos+ a écrit :

Olivier wrote:

J'ai déjà essayé, mais ça ne change rien.


Bien que ça ne réponde pas exactement à ta requête, as-tu essayé,
via Safari->Services de visualiser dans un éditeur de texte?



Lorsque j'affiche le code source de la page, j'ai aucun accès dans le menu
Services (tout grisé).
En tout cas, je cherche quelque chose de beaucoup plus rapide : afficher le
code source de la page dans la police & la taille voulue.
--
Olivier


Avatar
cf
Olivier wrote:

Est-il possible de changer la police/taille du texte du code source de
Safari ? Le monaco c.10 m'est quasi illisible.


Le plus simple n'est-il pas de le changer à la volée avec Cmd-+ ?

A++
--
Christian

Avatar
gilbert.olivier
Olivier wrote:

En tout cas, je cherche quelque chose de beaucoup plus rapide : afficher le
code source de la page dans la police & la taille voulue.


Une astuce qui te dépannera à moitié:
Une fois la fenêtre avec le code source affiché, "Pomme +" augmente la
taille des caractères, "Pomme -": devine ;-)

A moitié seulement, car il faut refaire la manip à chaque ouverture de
fenêtre.

--
Gilbert

Avatar
Olivier
Le 7/06/06 15:06, dans 1hgk135.ha4we0g3twz7N%, « Christian
Fauchier » a écrit :

Olivier wrote:

Est-il possible de changer la police/taille du texte du code source de
Safari ? Le monaco c.10 m'est quasi illisible.


Le plus simple n'est-il pas de le changer à la volée avec Cmd-+ ?



Oui, je sais faire ça. Mais j'aurais voulu pouvoir le changer une bonne fois
pour toutes, comme pour un modèle si on peut dire. Merci toutefois,
--
Olivier


Avatar
Eric Levenez
Le 7/06/06 18:14, dans <C0ACC820.31FAF%,
« Olivier » a écrit :

Le 7/06/06 15:06, dans 1hgk135.ha4we0g3twz7N%, « Christian
Fauchier » a écrit :

Olivier wrote:

Est-il possible de changer la police/taille du texte du code source de
Safari ? Le monaco c.10 m'est quasi illisible.


Le plus simple n'est-il pas de le changer à la volée avec Cmd-+ ?


Oui, je sais faire ça. Mais j'aurais voulu pouvoir le changer une bonne fois
pour toutes, comme pour un modèle si on peut dire. Merci toutefois,


Alors c'est avec "Feuilles de style" dans les préférences Avancées de Safari
qu'il faut travailler.

--
Éric Lévénez -- <http://www.levenez.com/>
Unix is not only an OS, it's a way of life.



Avatar
Olivier
Le 7/06/06 17:45, dans 1hgkp7x.he5nls1ts5hnjN%,
« Gilbert OLIVIER » a écrit :

Olivier wrote:

En tout cas, je cherche quelque chose de beaucoup plus rapide : afficher le
code source de la page dans la police & la taille voulue.


Une astuce qui te dépannera à moitié:
Une fois la fenêtre avec le code source affiché, "Pomme +" augmente la
taille des caractères, "Pomme -": devine ;-)

A moitié seulement, car il faut refaire la manip à chaque ouverture de
fenêtre.


C'est justement ce que je veux éviter.
Merci
--
Olivier


Avatar
Olivier
Le 7/06/06 20:07, dans C0ACE290.675B2%, « Eric Levenez »
a écrit :

Le 7/06/06 18:14, dans <C0ACC820.31FAF%,
« Olivier » a écrit :

Le 7/06/06 15:06, dans 1hgk135.ha4we0g3twz7N%, « Christian
Fauchier » a écrit :

Olivier wrote:

Est-il possible de changer la police/taille du texte du code source de
Safari ? Le monaco c.10 m'est quasi illisible.


Le plus simple n'est-il pas de le changer à la volée avec Cmd-+ ?


Oui, je sais faire ça. Mais j'aurais voulu pouvoir le changer une bonne fois
pour toutes, comme pour un modèle si on peut dire. Merci toutefois,


Alors c'est avec "Feuilles de style" dans les préférences Avancées de Safari
qu'il faut travailler.



Me voilà rendu à mon point de départ.
Le fait est que je suis nul en CSS.
Merci pour ta réponse, en tout cas.
--
Olivier




Avatar
Eric Levenez
Le 7/06/06 21:57, dans <C0ACFC5C.31FFC%,
« Olivier » a écrit :

Le 7/06/06 20:07, dans C0ACE290.675B2%, « Eric Levenez »
a écrit :

Alors c'est avec "Feuilles de style" dans les préférences Avancées de Safari
qu'il faut travailler.



Me voilà rendu à mon point de départ.
Le fait est que je suis nul en CSS.


Je viens de trouver cela <http://www.transformation.ca/css/index.html>. Tu
sauvegardes ce qui est en gris dans un fichier avec l'extension css, et tu
le sélectionne comme Feuille de style. Après il suffit de modifier le
fichier pour l'adapter à tes besoins.

--
Éric Lévénez -- <http://www.levenez.com/>
Unix is not only an OS, it's a way of life.


1 2 3