Búsqueda de diccionario más ancha y más alta (estilo de búsqueda de diccionario emergente) en OS X

Es posible cambiar la fuente y el tamaño de fuente para la ventana emergente de búsqueda de 3 dedos. Solo necesita editar el archivo css para los diccionarios que usa, por ejemplo:

sudo vim /Library/Dictionaries/New\ Oxford\ American\ Dictionary.dictionary/Contents/Resources/DefaultStyle.css 

buscar html.apple_client-panel body {y editar propiedades

Ahora realmente quiero ir más allá y hacer que toda el área emergente sea más grande, un poco más ancha y un poco más alta. ¿Cómo puedo hacer eso?

Respuestas (1)

En primer lugar, averigüe la ruta del diccionario que desea modificar . Esto depende del diccionario que desee modificar, pero su ruta debería verse así:

/System/Library/Assets/com_apple_MobileAsset_DictionaryServi‌​ces_dictionaryOSX/04‌​2bf65b3ae80e4564c339‌​fcf00fa9924bd16dd3.a‌​sset/AssetData/Apple Dictionary.dictionary/Contents/Resources/English.lproj/Apple‌​Dictionary.css

Luego abra este archivo en cualquier editor de texto/código que desee, podría ser incluso vim, como en la pregunta original, y ábralo para modificarlo, busque el font-sizeparámetro por bodyelemento, podría definirse en pt, px, em. Si desea profundizar en los detalles de CSS, puede leer tutoriales o manuales en el archivo font-size. Parece ser un archivo CSS normal , para la definición de estilos, por lo que es fácil trabajar con él.

Puede cambiar el tamaño de fuente, para hacerlo más grande o más pequeño, podría lograrse modificando los parámetros en CSS:

body {
  ...
  font-size: 15pt; /* <== look for this parameter, and scale it up to your taste */
  ...
}

O así:

html.apple_client-panel body {
    ...
    font-size: 15px;
    ...
}

Puede encontrar algunas capturas de pantalla y explicaciones adicionales en apple.disscussions .

También se puede jugar con line-height, si font-sizeno ha aportado suficiente legibilidad. Si desea cambiar la ventana en sí o el espacio alrededor del texto, puede modificar margin( margin-top, margin-bottom, etc.) o padding( padding-left, padding-right, etc.).

Traté de explicar esto a los muchachos, que no son desarrolladores web, espero que esto ayude. Pregunte si tiene preguntas adicionales para mí, o búsquelas en StackOverflow (es para preguntas de desarrolladores), pero creo que ahora será sencillo para usted.