Abs62
Даже не знаю, как это сделать удобнее. Исходник DSL в UTF-8 — почти гигабайт. Проблемный вариант в формате Stardict, полученный при помощи makedict, — 2.5 гигабайта. Как вам удобнее — скачать исходник и сконвертировать самим или сразу качать 2.5 гигабайта? Я пытался сделать маленький тестовый словарик с заголовком U+ среди прочих и сконвертировать в Stardict через makedict, он работает нормально. Видимо дело или в объёме, или в каком-то проблемном сочетании элементов внутри словаря (там встречаются трудновообразимые сочетания символов из самых дальних отделов Юникода).
Даже не знаю, как это сделать удобнее. Исходник DSL в UTF-8 — почти гигабайт. Проблемный вариант в формате Stardict, полученный при помощи makedict, — 2.5 гигабайта. Как вам удобнее — скачать исходник и сконвертировать самим или сразу качать 2.5 гигабайта? Я пытался сделать маленький тестовый словарик с заголовком U+ среди прочих и сконвертировать в Stardict через makedict, он работает нормально. Видимо дело или в объёме, или в каком-то проблемном сочетании элементов внутри словаря (там встречаются трудновообразимые сочетания символов из самых дальних отделов Юникода).

). Дома опробую.
Не уверен, на такое будет массовый спрос.
Да нет, на самом деле, всё просто как апельсин. Я просто хочу сделать скрипт, который убивает <!-- Built-in css --> и пользователь сам подключает нужные стили. Если Вы когда-нибудь прикрутите пользовательcкий js - будет через него. Если нет - через MDX 1-й в списке (можно сделать просто файл-лист для заголовков под определённый язык и скрывать его средствами CSS). Хотя custom.js, конечно предпочтительнее