Safari 6: ¿Cómo cambiar las fuentes predeterminadas?

13

Esto es probablemente un duplicado. No puedo imaginar que soy la primera persona en notar esto.

Parece que Safari 6 ha eliminado la pestaña de apariencia de las preferencias y, con ella, la capacidad de cambiar las fuentes predeterminadas.

¿Cómo cambio las fuentes predeterminadas para Safari 6?

mountain-lion font safari

— asmeurer
fuente

-1

Solo obtén Tinker Tool gratis. Le permitirá cambiar las fuentes y el tamaño de fuente para Safari en OS X Mavericks.

— Malcolm Cooke
fuente

La pregunta es sobre Safari 6 en Mountain Lion en realidad.

— nohillside

@patrix ¿y qué? Ahora que Mavericks está fuera, me importa cómo hacerlo allí.

— asmeurer

La forma de lograr esto podría haber cambiado con Safari 7, los métodos antiguos tal vez ya no funcionen. Entonces, hacer una nueva pregunta probablemente sería más útil aquí.

— nohillside

Lo que sea. Intentar jugar con un CSS personalizado nunca funcionó para mí. Tinkertool lo hace. Estoy aceptando esta respuesta.

— asmeurer

8

Todavía puede usar los valores predeterminados:

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 14

Otra opción es establecer un archivo CSS como este como la hoja de estilo predeterminada en las preferencias avanzadas:

body {
  font: 16px Georgia;
}
pre, code, tt {
  font: 14px Menlo;
}

Ambas opciones tienen prioridad sobre la hoja de estilo predeterminada, pero no sobre los estilos especificados por los sitios web. Entonces, al igual que las preferencias en Safari 5 y versiones anteriores, se aplican principalmente a páginas que normalmente usarían 15px Times o 13px Courier.

— Lri
fuente

Esto no parece funcionar.

— asmeurer

Si agrega !importantantes del punto y coma, funcionará. Sin embargo, eso obligará a todos los sitios web a usar sus especificaciones. Arruinará los sitios que usan fuentes especiales para mostrar glifos especiales (por ejemplo, github.com).

— imanuelcostigan

Bueno, solo cambiar la bodyfuente no funciona bien. Sugeriría aplicar la fontmodificación al body, p, span, amenos.

— pabuisson

5

Serenity Caldwell escribió un artículo sobre Macworld cuando Mountain Lion fue lanzado por primera vez como una vista previa del desarrollador:

Safari ya no ofrece una opción para establecer fuentes y tamaños predeterminados (aunque puede cargar una hoja de estilo u obligar al navegador a no mostrar tamaños de fuente más pequeños que un número determinado)

Puede hacerlo a través de una extensión llamada User CSS . Bastante simple, agregue su CSS personalizado y anulará los estilos.

También hay un hilo de discusión de Apple sobre esto, pero hasta ahora no ha surgido nada importante. Una cosa que se mencionó fue usar HelveticaTheWorld, que cambia todas las fuentes a Helvetica. No es terriblemente útil a menos que desee Helvetica en todas partes ... Otra extensión mencionada es Google Fonts en Safari . Le permite elegir de la biblioteca de fuentes de Google.

A partir de ahora, no hay otra forma de cambiar las fuentes en Safari. Le sugiero que envíe comentarios de Apple para ver si puede volver a agregar esto.

— daviesgeek
fuente

1

¿No se admite CSS personalizado sin una extensión?

— asmeurer

1

De hecho, esto es trivialmente fácil con una hoja de estilo simple que anula la fuente predeterminada del "cuerpo". Todo lo que necesitas son tres líneas largas:

body {
    font: 12px "Lucida Grande";
}

— SunByrne
fuente

3

¿Y dónde pones dicha hoja de estilo? ¿Cómo se consigue que Safari lo cargue siempre?

— Daniel

¿Qué uso para cambiar la fuente monospace?

— asmeurer

Copie esa línea de CSS; use un editor de texto para colocarlo en un archivo de texto vacío y guarde ese archivo de texto en su disco duro local con un nombre de archivo como, por ejemplo, default.css. Luego vaya a Safari> Preferencias, seleccione la pestaña Avanzado y, en el menú desplegable de la hoja de Estilo, seleccione Otro. Navegue a su archivo default.css, y Safari comenzará a usar su nuevo CSS como predeterminado.

— Jed Hartman

1

* {font-family: "Helvetica" !important;}
pre, code, tt {font-family: "Menlo" !important;}

Creo que eso es lo que quieres. Trabajo verificado en Sierra Alta.

Además, puede configurar fuentes predeterminadas para WebKit2:

defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2StandardFontFamily "Helvetica"
defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2FixedFontFamily "Menlo"

— nesoneg
fuente