grahamperrin

My userChrome.css for Waterfox 56.2.2

Sep 15th, 2018
200
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.85 KB | None | 0 0
  1. @namespace "http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul";
  2.  
  3.  
  4. /* a close button on the left of each tab */
  5. /* https://support.mozilla.org/questions/1157451#answer-961582 */
  6. /* https://support.mozilla.org/questions/1157451#answer-961663 */
  7. .tabbrowser-tab .tab-close-button {
  8. display:-moz-box!important;
  9. -moz-box-ordinal-group: 0 !important;
  10. margin-left: -2px !important;
  11. margin-right: 3px !important;
  12. }
  13. .tabbrowser-tab .tab-throbber,
  14. .tabbrowser-tab .tab-icon-image,
  15. .tabbrowser-tab .tab-sharing-icon-overlay,
  16. .tabbrowser-tab .tab-icon-overlay,
  17. .tabbrowser-tab .tab-label-container,
  18. .tabbrowser-tab .tab-icon-sound {
  19. -moz-box-ordinal-group: 2 !important;
  20. }
  21.  
  22.  
  23. /* Australis Menu Button on the Left */
  24. #PanelUI-button,
  25. #customization-panel-container,
  26. #customization-panelWrapper .panel-arrow,
  27. #ctr_panelui-button,
  28. #wrapper-ctr_panelui-button {
  29. -moz-box-ordinal-group: 0
  30. }
  31. #PanelUI-button {
  32. background-position: 100% 0, calc(100% - 1px) 0, calc(100% - 2px) 0;
  33. }
  34. #PanelUI-popup {
  35. margin-right: -350px!important;
  36. }
  37. #PanelUI-popup .panel-arrow {
  38. margin-right: 340px!important;
  39. }
  40.  
  41.  
  42. /* #nav-bar{-moz-box-ordinal-group:5!important} – the toolbar, a.k.a. navigation bar, not on top */
  43. #nav-bar{
  44. -moz-box-ordinal-group:5!important
  45. }
  46.  
  47.  
  48. /* monospace #urlbar */
  49. /* https://www.reddit.com/comments/8vq7cx/-/e1q6d9g/ */
  50. #urlbar {
  51. font-family: "Source Code Pro", "Anonymous Pro", "Inconsolata", "Consolas", monospace;
  52. }
  53.  
  54.  
  55. /* green padlock */
  56. /* https://www.reddit.com/comments/8v4l1h/-/e1kxtgx/ */
  57. #identity-box #identity-icon-labels {
  58. display:none
  59. }
  60. #identity-box:hover #identity-icon-labels {
  61. display:-moz-box
  62. }
  63. /* https://support.mozilla.org/questions/853327#answer-222153 */
  64. /* #identity-icon-labels { display:none!important; } */
  65. /* #identity-box:hover #identity-icon-labels { display:block!important; } */
Add Comment
Please, Sign In to add comment