Поиск в словаре шире и выше (стилизация всплывающего словаря) в OS X

14

Можно изменить шрифт и размер шрифта для всплывающего окна поиска с 3 пальцами. Вам просто нужно отредактировать файл CSS для используемых вами словарей, например:

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

найти html.apple_client-panel body {и редактировать свойства

Теперь я на самом деле хочу пойти дальше и сделать всю область всплывающих окон больше - чуть шире и чуть выше. Как я могу это сделать?

yosemite mavericks mountain-lion el-capitan dictionary iLemming
источник

Ответы:

1

Прежде всего, найдите путь к словарю, который вы хотите изменить . Это зависит от словаря, который вы хотите изменить, но ваш путь должен выглядеть примерно так:

/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

Затем откройте этот файл в любом редакторе текста / коде вы хотите, это может быть даже vim, как в оригинальном вопросе, и открыть его для модификации, поиск font-sizeпараметра для bodyэлемента, он может быть определен pt, px, em. Если вы хотите углубиться в детали CSS, вы можете прочитать учебники или руководства по font-size. Кажется, это обычный CSS-файл для определения стилей, поэтому с ним легко работать.

Вы можете изменить размер шрифта, чтобы сделать его больше / меньше, это может быть достигнуто путем изменения параметров в CSS:

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

Или вот так: 

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

Вы можете найти некоторые скриншоты и дополнительные объяснения на apple.disscussions .

С ним также можно играть line-height, если font-sizeон не принес достаточной читабельности. Если вы хотите изменить само окно или интервал вокруг текста, то вы можете изменить margin( margin-top, margin-bottomи т. Д.) Или padding( padding-left, padding-rightи т. Д.).

Пытался объяснить это ребятам, которые сами не являются веб-разработчиками, надеюсь, это поможет. Спросите, если вы получили дополнительные вопросы для меня, или искать их в StackOverflow (это для вопросов разработчиков), но я думаю, что это будет прямо сейчас для вас.

Дальняя сторона
источник