Probablemente sea un duplicado. No puedo imaginar que soy la primera persona que se da cuenta de esto.
Parece que Safari 6 ha eliminado la pestaña de apariencia de las preferencias y, con ella, la posibilidad de cambiar los tipos de letra por defecto.
¿Cómo puedo cambiar los tipos de letra por defecto de Safari 6?
Puedes seguir utilizando los valores por defecto:
defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2StandardFontFamily Georgia
defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2DefaultFontSize 16
defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2FixedFontFamily Menlo
defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2DefaultFixedFontSize 14Otra opción es establecer un archivo CSS como éste como hoja de estilo por defecto en las preferencias avanzadas:
body {
font: 16px Georgia;
}
pre, code, tt {
font: 14px Menlo;
}Ambas opciones tienen prioridad sobre el hoja de estilo por defecto pero no sobre los estilos especificados por los sitios web. Así que, al igual que las preferencias de Safari 5 y anteriores, se aplican sobre todo a las páginas que normalmente utilizan Times de 15px o Courier de 13px.
Si añade !important antes del punto y coma, funcionará. Sin embargo, eso obligará a todos los sitios web a utilizar sus especificaciones. Joderá los sitios que utilizan fuentes especiales para mostrar glifos especiales (por ejemplo, github.com).
Serenity Caldwell escribió un artículo en Macworld cuando Mountain Lion fue lanzado por primera vez como una vista previa de desarrollo:
Safari ya no ofrece una opción para establecer los tipos y tamaños de letra por defecto (aunque puede cargar una hoja de estilo o forzar al navegador a no mostrar tamaños de letra inferiores a un determinado número)
Puede hacerlo a través de una extensión llamada Usuario CSS . Bastante sencillo, añade tu CSS personalizado y anulará los estilos.
También hay un hilo de discusión de Apple sobre esto, pero hasta ahora no ha salido nada importante. Una cosa que se mencionó fue el uso de HelveticaElMundo, que cambia todas las fuentes a Helvetica. No es terriblemente útil a menos que quieras Helvetica en todas partes... Otra extensión mencionada es Fuentes de Google en Safari . Permite elegir de la biblioteca de Google Fonts.
Por el momento, no hay otra forma de cambiar las fuentes en Safari. Le sugiero que envíe Comentarios de Apple para ver si se puede añadir esto de nuevo.
Copia esa línea de CSS; utiliza un editor de texto para ponerla en un archivo de texto vacío, y guarda ese archivo de texto en tu disco duro local con un nombre de archivo como, por ejemplo, default.css. A continuación, ve a Safari > Preferencias, selecciona la pestaña Avanzadas y, en el menú desplegable Hoja de estilo, selecciona Otra. Navega hasta tu archivo default.css y Safari empezará a usar tu nuevo CSS por defecto.
* {font-family: "Helvetica" !important;}
pre, code, tt {font-family: "Menlo" !important;}Creo que eso es lo que quieres. Trabajo comprobado en High Sierra.
Además, puede establecer las fuentes por defecto para WebKit2:
defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2StandardFontFamily "Helvetica"
defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2FixedFontFamily "Menlo"
La forma de lograr esto podría haber cambiado con Safari 7, los viejos métodos podrían ya no funcionar. Así que hacer una nueva pregunta probablemente sería más útil aquí.
AppleAyuda es una comunidad de usuarios de los productos de Apple en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
