Как уменьшить шрифт в оглавлении Opera?

0

1

Тащемта, на опере сижу давно, но на оффтопике, там такой проблемы нет. Как починить размер шрифты в оглавлении браузера? Уже тошнит от этого гигантизма.

LINK

Ссылка

←	DE Slackware

сустумд

→

Я думал, оно системное DPI тянет (у меня системе шрифты крупные).

Вопрос не по теме: меню слева в tab-bar'е куда делось?

carasin ★★★★★
(09.02.15 07:16:40 MSK)

Ответ на: комментарий от carasin 09.02.15 07:16:40 MSK

Не нужно, оно только для любителей виндовзстайл, в том числе КДЕшников

anonymous
(09.02.15 07:35:52 MSK)

Ссылка

Я так и не нашёл способа. Да и не шибко нужна эта хромоопера.

~~kinik~~ ★★☆
(09.02.15 07:48:24 MSK)

Ответ на: комментарий от kinik 09.02.15 07:48:24 MSK

Да и не шибко нужна эта хромоопера.

+1. Тем более для гиков фагатов-оперы делают Vivaldi, в который можно отправить фич-реквест и его рассмотрят. А хропера для блондинок из «широкой аудитории» теперь делается, это сам представитель Opera сказал.

~~EXL~~ ★★★★★
(09.02.15 07:55:19 MSK)

Ответ на: комментарий от EXL 09.02.15 07:55:19 MSK

Мне система закладок очень нравится и отзывчивость на винде. Запускается сразу, ютуб не провисает без повода, не самый проблемный браузер для виндузятника. Синхронизация хромает, до Хрома далеко.

Вивалди без расширений, без зенмате, пушбуллета и ублока как-то и сидеть на нем не хочется.

PavelRyzhov ★★
(09.02.15 12:14:15 MSK) автор топика

Ответ на: комментарий от PavelRyzhov 09.02.15 12:14:15 MSK

Только на винде шрифты светлые тонкие во всех хромобраузерах, не понимаю, как только глаза не вываливаются...

anonymous
(09.02.15 18:19:16 MSK)

Ответ на: комментарий от anonymous 09.02.15 18:19:16 MSK

Мне так удобно. Я так понимаю, эту хрень настроить нельзя?

PavelRyzhov ★★
(10.02.15 10:32:13 MSK) автор топика

Ссылка

Ответ на: комментарий от kinik 09.02.15 07:48:24 MSK

Потыкал сейчас opera-stable, работает шустрее, чем раньше, гораздо. Мне даже понравилось. Шрифты в части интерфейса большие.

~~kinik~~ ★★☆
(22.02.15 20:11:09 MSK)

Ответ на: комментарий от kinik 22.02.15 20:11:09 MSK

Потыкал сейчас opera-stable, работает шустрее, чем раньше, гораздо. Мне даже понравилось. Шрифты в части интерфейса большие.

opera-developer 29.0 http://savepic.su/5141392.png Несмотря на то, что разработчики с патологическим усердием выпиливают весь функционал и саму возможность кастомизации, (начиная с Chrome 32 окончательно закрыт вопрос о воздействии пользователя на внешний вид GUI и отображение контента), сторонними средствами пока ещё возможно привести страницу в нечто более-менее удобоваримое.

anonymous
(23.02.15 18:15:22 MSK)

Ответ на: комментарий от anonymous 23.02.15 18:15:22 MSK

Как сделать?

~~kinik~~ ★★☆
(23.02.15 18:21:10 MSK)

Ответ на: комментарий от kinik 23.02.15 18:21:10 MSK

Как сделать?

Традиционно, ещё со времён NN: https://addons.opera.com/en/extensions/details/user-css/

anonymous
(23.02.15 18:25:17 MSK)

Ответ на: комментарий от anonymous 23.02.15 18:25:17 MSK

Поделись настройками, пожалуйста.

~~kinik~~ ★★☆
(24.02.15 20:14:13 MSK)

Ответ на: комментарий от kinik 24.02.15 20:14:13 MSK

Поделись настройками, пожалуйста.

Боюсь, что в этом мало проку, — слишком уж притязательный и специфичный у меня подход, и он не заключается в одном лишь только файле user.css для браузера. Практически всё что связано со шрифтами и набором — у меня своё. Это не общепринятые патчи для cairo и freetype, полностью свой (собственноручно написанный) /etc/fonts/, /etc/X11/xorg.conf, /usr/share/X11/xkb/symbols/(ru, en и т.д.) шрифты не от Ubuntu, RedHat и Microsoft, единые глобальные (для любых DE и тулкитов) системные настройки шрифтов и рендеринга, и единый user.css на весь софт и все интернет-ресурсы, которые это поддерживают.

anonymous
(25.02.15 07:40:48 MSK)