Tamaño de xmodbar.
Más aplicaciones flotantes en xmonad.
Atajo para lanzar okular.
Volvemos a configurar KDE+xmonad.

El motivo es la mayor velocidad conseguida con los nuevos cambios.

Idealmente tendría algo así como "si arrancas desde KDE usa esta
configuración, y si arrancas solo usa esta otra". Pero todavía no sé cómo
se hace.
Revert "Volvemos a configurar KDE+xmonad."

Parece que tenemos problemas haciendo funcionar reproductores de vídeo
en KDE sin los efectos de escritorio :(.

This reverts commit 5ce4eb652671c265406d685a8d4059064934c7d1.