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

14

È possibile modificare il carattere e la dimensione del carattere per il popup di ricerca a 3 dita. Devi solo modificare il file css per i dizionari che utilizzi, 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 in realtà voglio andare oltre e rendere l'intera area pop-up più grande, leggermente più ampia e poco più alta. Come posso farlo?

    
posta iLemming 26.12.2014 - 20:44
fonte

1 risposta

1

Prima di tutto, trova il percorso del dizionario che desideri modificare . Questo dipende dal dizionario che desideri modificare, ma il tuo percorso dovrebbe essere simile 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 apri questo file in qualsiasi editor di testo / codice che desideri, potrebbe anche essere vim , come nella domanda originale, e aprirlo per la modifica, cercare font-size parametro per body element, potrebbe essere definito in pt , px , em . Se desideri approfondire i dettagli CSS, puoi leggere tutorial o manuali su font-size . Sembra che sia un normale file CSS , per la definizione degli stili, quindi è facile lavorarci sopra.

Puoi cambiare la dimensione del font, per renderlo più grande / più piccolo, potrebbe essere ottenuto modificando i parametri in CSS :

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

O come questo:

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

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

Uno può anche giocare con line-height , se font-size non ha portato abbastanza leggibilità. Se vuoi cambiare la finestra stessa o spaziatura intorno al testo, allora potresti voler 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 stessi sviluppatori web, spero che questo aiuti. Chiedete se avete altre domande o cercate su StackOverflow (è per le domande degli sviluppatori), ma penso che per voi sarà immediato.

    
risposta data 08.04.2016 - 14:16
fonte

Leggi altre domande sui tag