Ricerca nel dizionario più ampia e più alta (stile di ricerca del dizionario pop-up) in OS X

È possibile modificare il carattere e la dimensione del carattere per il popup di ricerca a 3 dita. Hai solo bisogno di modificare il file CSS per i dizionari che usi, ad esempio:

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

trova html.apple_client-panel body {e modifica proprietà

Ora voglio davvero andare oltre e ingrandire l'intera area popup - un po 'più ampia e un po' più alta. Come posso fare ciò?

Prima di tutto, scopri il percorso del dizionario che desideri modificare . Questo dipende dal dizionario che si desidera modificare, ma il percorso dovrebbe assomigliare a questo:

/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

Quindi aprire il file in qualsiasi editor di testo / codice vuoi, potrebbe essere ancora vim, come nella domanda iniziale, e aprirlo per la modifica, la ricerca di font-sizeparametri per bodyelemento, che potrebbe essere definito in pt, px, em. Se vuoi approfondire i dettagli CSS, puoi leggere tutorial o manuali sul font-size. Sembra essere un normale file CSS , per la definizione di stili, quindi è facile lavorare con esso.

È possibile modificare la dimensione del carattere, per ingrandirla / ridurla, si potrebbe ottenere modificando i parametri in CSS:

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

O così:

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

Potresti trovare alcuni screenshot e ulteriori spiegazioni su apple.disscussions .

Si può anche giocare con line-height, se font-sizenon ha portato abbastanza leggibilità. Se si desidera cambiare la finestra stessa o di spaziatura intorno al testo, quindi si consiglia di modificare margin( margin-top, margin-bottom, ecc) o padding( padding-left, padding-right, ecc).

Ho cercato di spiegare questo ai ragazzi, che non sono gli sviluppatori web stessi, spero che questo aiuti. Chiedimi se hai ulteriori domande per me o cercale su StackOverflow (è per le domande degli sviluppatori), ma penso che sarà semplice per te ora.