http://www.webupd8.org/2012/07/elegance … -gets.html

On peut y changer non seulement la typo, mais aussi les couleurs, les arrondis, des pop-up de gnome-shell.
Dans gnome-tweak-tool, séléctionner le theme "Elegance-colors"+avoir l'extension "User Theme"

Si vous êtes sous nautilus :
org - gnome - nautilus - desktop
puis dans le champ en face de font, saisissez le nom de votre typo et sa taille (Linux Biolinum 10, par ex.) puis validez.

Si vous êtes sous nemo : org - nemo - desktop
puis même manip que pour nautilus.

Ça y est, tout mon affichage est en Linux Biolinum

Sous Cinnamon, il faut modifier le css du thème choisi (/usr/share/themes/nom_theme_utilise/cinnamon/cinnamon.css)...

Bon, maintenant, j'ai Linux Biolinum dans mon tableau de bord (par le biais du css évoqué ci-avant) ;
J'ai Linux Biolinum dans mes diverses fenêtres, menus et boîtes de dialogue (par le biais de Paramètres de Cinnamon, Polices de caractère)...

... manque plus qu'à trouver la combine pour avoir également Linux Biolinum sur les divers éléments de mon bureau !

Une idée ?

/* default text style */
stage {
    font-family: Linux Biolinum, sans-serif;
    font-size: 14pt;
    color: white;
}

JBF

	font-family: sans, sans-serif;

Svp, comment es-ta ligne pour avoir la police Linux Biolinum ?
Merci d'avance

L'idée était de modifier gnome-shell.css :

sudo gedit /usr/share/gnome-shell/theme/gnome-shell.css

J'ai ajouté une police en suivant les règles css à chaque font-family du fichier, mais rien n'y a fait

Il faut modifier le paramètre font-family au début du fichier. J'ai mis Linux Biolinum et ça marche après avoir relancé la session.

JBF

Bonjour à tous,

En réalité cela fait un moment que je cherche à modifier la typo (police, taille, couleur) de la barre des taches, ou je ne sait comment elle se nomme, de Gnome 3. j'ai tenté de trifouiller dans les entrailles CSS des thèmes mais aucune des modifications que j'ai pu tester n'a eu d'effet sur la dite typo. Je me tourne donc vers vous, en espérant trouver une solution. Ce n'est certes pas un problème fondamental mais quand on est perfectionniste ...

Bien sûr j'ai essayé avec gnome-tweak-tool mais il ne prend pas en charge la barre d'activité. J'ai également tenté, en m'inspirant de ce sujet sur les forums Ubuntu anglo-saxons. L'idée était de modifier gnome-shell.css :

sudo gedit /usr/share/gnome-shell/theme/gnome-shell.css

J'ai ajouté une police en suivant les règles css à chaque font-family du fichier, mais rien n'y a fait

Des idées ?

bonsoir,
J'ai le même problème, et en plus je voudrais bouger à droite ou à gauche la date et l'heure qui s'affichent en plein milieu.
Il y a beaucoup de déçus/mécontents et beaucoup de questions pour la 11.10 et pas beaucoup de réponses.
Merci de me/nous trouver une solution.

En réalité cela fait un moment que je cherche à modifier la typo (police, taille, couleur) de la barre des taches, ou je ne sait comment elle se nomme, de Gnome 3. j'ai tenté de trifouiller dans les entrailles CSS des thèmes mais aucune des modifications que j'ai pu tester n'a eu d'effet sur la dite typo. Je me tourne donc vers vous, en espérant trouver une solution. Ce n'est certes pas un problème fondamental mais quand on est perfectionniste ...

Bien sûr j'ai essayé avec gnome-tweak-tool mais il ne prend pas en charge la barre d'activité. J'ai également tenté, en m'inspirant de ce sujet sur les forums Ubuntu anglo-saxons. L'idée était de modifier gnome-shell.css :

sudo gedit /usr/share/gnome-shell/theme/gnome-shell.css

J'ai ajouté une police en suivant les règles css à chaque font-family du fichier, mais rien n'y a fait

Des idées ?