userChrome.css・userContent.cssスレ Part11

■ このスレッドは過去ログ倉庫に格納されています
2020/03/21(土) 10:16:26.74ID:NIfQeduv0
!extend:checked:vvvvv:1000:512
次スレを立てる方は↑を二行重ねて書いてください

●※前スレ
userChrome.css・userContent.cssスレ Part10
http://egg.5ch.net/test/read.cgi/software/1571968384/l50

●拡張機能
Stylish
https://addons.mozilla.org/ja/firefox/addon/stylish/
Stylus
https://addons.mozilla.org/ja/firefox/addon/styl-us/
User Style Manager (レガシーアドオン・要Classic Add-ons Archive)
https://addons.mozilla.org/ja/firefox/addon/user-style-manager/

●スクリプト
userChromeJS/UserCSSLoader at master ・ Griever/userChromeJS
https://github.com/Griever/userChromeJS/tree/master/UserCSSLoader
UserCSSManager (要userChromeES)
https://greasyfork.org/scripts/35880

●CSS(ユーザースタイルを記入するべきファイル)
userChrome.css(UI) / userContent.css(Web Site)

●関連サイト
Userstyles.org
https://userstyles.org/
CSS: カスケーディングスタイルシート | MDN
https://developer.mozilla.org/ja/docs/Web/CSS
とほほのスタイルシート入門
http://www.tohoho-web.com/css/
VIPQ2_EXTDAT: checked:vvvvv:1000:512:: EXT was configured
2021/08/11(水) 20:40:32.52ID:HKxP9c8t0
>>576
> 使っている OS によって CSS の表示が異なる事ってありますか?

.titlebar-button 絡みで #navigator-toolbox 周りに
osやテーマの違いでズレが生じたことはあるが
それ以外はどうだろな…

差異が生じるとすればフォント周りか?
単位を"em"じゃなく"px"で試してみて
578名無しさん@お腹いっぱい。 (ワッチョイ 1311-wS3X)
垢版 |
2021/08/11(水) 20:44:00.09ID:9RkS7CHR0
プルダウンメニューのアイテムの間隔はOSによって違ってますね
悩みの種です
2ではブックマークツールバーのプルダウンメニューが違ったものになるので
コンテキストメニューに対するcssの設定では、ブックマークツールバーのプルダウンメニューが同じようにならないばかりか、
設定の想わぬ副作用が出てきます、なんで実装を方式を変えたのでしょうね
設定の迷妄が更に広がります
2021/08/11(水) 21:00:11.93ID:XWzDxkZDM
>>576
user_pref("browser.display.windows.non_native_menus", 0); // native (Win7/8.1)
user_pref("browser.display.windows.non_native_menus", 1); // non-native (Win10)
■ このスレッドは過去ログ倉庫に格納されています
大学生アイラと影の怪物と戦うリョウが、深夜3時3分の静止した世界で交錯する超常スリラーの概要

ニューススポーツなんでも実況