Diminuindo o tamanho das fontes do tema do Cinnamon

Dica testada no Linux Mint Debian Edition 64-bit com Cinnamon.

Gosto do tema padrão do Cinnamon, aquele cinza escuro. No entanto, acho que as letras são grandes demais. Inclusive, eu costumo reduzir o tamanho das fontes do sistema. Mas as fontes do menu e do painel, do calendário e das notificações do Cinnamon, não podem ser reduzidas através do painel de configuração.

Para resolver isso, eu editei o tema padrão e salvei como "TemaMenor".

Caso queira fazer o mesmo, ou seja, editar o tema do Cinnamon para reduzir as fontes do mesmo, faça o seguinte:

1. Crie um diretório dentro do diretório ".themes" do seu usuário.

cd
$ mkdir -p .themes/TemaMenor/cinnamon

2. Certifique-se de que está usando o tema padrão do Cinnamon e copie os dados para o diretório recém criado:

cp -R /usr/share/cinnamon/theme/* .themes/TemaMenor/cinnamon/

3. Em seguida, edite o arquivo "cinnamon.css":

nano .themes/TemaMenor/cinnamon/cinnamon.css

4. Procure por "font-size", existem vários, e edite o tamanho ao seu gosto.

Eu escolhi reduzir em 2 pontos todos os font-size em relação ao original. Menos as fontes do painel e do calendário (panel e calendar). Esses eu reduzi em um ponto o tamanho das fontes, para não ficar muito pequeno.

Salve e feche o arquivo.

5. Escolha seu tema no gerenciador de temas Cinnamon e clique em aplicar.
Após reiniciar a sessão, perceberá que está com o mesmo tema anterior, mas modificado. Com as fontes menores.

Abraço!