Simplemente ya no puedo trabajar cerca de las PC, me duelen los ojos: soy desarrollador. Yo uso mucho el navegador. Los probé todos: IE, Safari, FF, Chrome; todos son malos en la forma más simple: tamaño de fuente grande para pestañas.
No sugiera que cambie la resolución o cambie los tamaños de DPI; estas no son soluciones en absoluto.
No me importa si Chrome carga 14 ms más rápido que el navegador X, si pasé 5000 ms tratando de determinar para qué demonios es esa pequeña pestaña. Ya tengo -2.00, y esto es estrés para mis ojos.
Numerosos hilos en Google, algunos bailes mágicos en Firefox, no encontraron nada para el safari. ¿Ya es hora de Linux?
¿Tal vez hay algún tipo genio que escribió un complemento para salvar mi visión?
firefox
google-chrome
fonts
safari
Berenjena
fuente
fuente
Respuestas:
Puede editar el userChrome.css de su perfil de Firefox o usar el complemento Stylish para definir la siguiente regla CSS:
Donde
...
se reemplaza con un valor de tamaño de fuente válido .Ejemplo:
Video de demostración: http://www.youtube.com/watch?v=BAhzZuhN61E
PD: si desea editar también el tamaño de fuente del menú emergente Listar todas las pestañas , el selector CSS es:
PPS: una vez que haya aumentado el tamaño del texto de su pestaña, también puede aumentar el ancho de cada pestaña para acomodar:
Donde
...
se reemplaza con un valor válido de ancho mínimo o ancho máximo . ¡Juega con estos valores para obtener diferentes efectos! Nota: las pestañas ancladas seguirán siendo del mismo tamaño.Ejemplo:
fuente