En Chrome o Firefox podemos usar Stylish . Parece que hay una extensión no oficial para Safari, pero me desanima su uso de Google Analytics.
En mi caso, solo estoy interesado en cambiar la fuente en un sitio web en particular. Específicamente, quiero anular la fuente monospace en un sitio web dado, por ejemplo, Menlo. Por ejemplo:
@font-face {
font-family: monospace;
src: local('Menlo');
}
prefiero no usar una extensión para esto y quiero que esto se aplique a un sitio web en particular, por lo que un último recurso que se me ocurra es una palanca manual para aplicar globalmente una pieza de CSS.
¿Hay alguna manera más fácil de automatizar esto que no requiera instalar una extensión?
Fácil podría depender de cómo se codifica un sitio. ¿Editaría en algún html o en el sitio en específico que desea hacer un cambio? Podría ser tan simple como una pequeña modificación de CSS.
—
bmike
Super gran edición. Veré si puedo hackear algo juntos más tarde este fin de semana. No tengo una herramienta obvia que se me ocurra: este detalle es excelente.
—
bmike
Supongo que ya sabes que ya hay una palanca manual para hojas de estilo personalizadas, simplemente no es muy conveniente ... Prefs> Avanzado> Hoja de estilo.
—
calum_b