Skip to content

Instantly share code, notes, and snippets.

@dufferzafar
Created July 5, 2020 08:45
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save dufferzafar/409804cab4e747d6022e90ea7b01af28 to your computer and use it in GitHub Desktop.
Save dufferzafar/409804cab4e747d6022e90ea7b01af28 to your computer and use it in GitHub Desktop.
Firefox userChrome +TreeStyleTabs -ShadowFox
/* Make fonts bigger.*/
window[windowtype="Places:Organizer"] treechildren::-moz-tree-cell-text
{ font-size: 18px !important; }
window[windowtype="Places:Organizer"] treechildren::-moz-tree-row
{ height: 25px !important; }
/*###########################################################################################################*/
/*
Tree style tabs
===============
https://github.com/piroor/treestyletab/wiki/Code-snippets-for-custom-style-rules#for-userchromecss
*/
/* Hide horizontal tabs at the top of the window #1349 */
#main-window[tabsintitlebar="true"]:not([extradragspace="true"]) #TabsToolbar {
opacity: 0;
pointer-events: none;
}
#main-window:not([tabsintitlebar="true"]) #TabsToolbar {
visibility: collapse !important;
}
/*
Show title of current tab at the top of the window instead
In about:config, set browser.tabs.drawInTitlebar to true.
*/
/*Hide the "Tree Style Tab" header at the top of the sidebar*/
/* #sidebar-box[sidebarcommand="treestyletab_piro_sakura_ne_jp-sidebar-action"] #sidebar-header { */
#sidebar-header {
display: none;
}
/*Reduce minimum width of the sidebar #1373*/
#sidebar {
min-width: 100px !important;
}
/* https://stackoverflow.com/questions/27273389/increase-code-font-size-in-firefox-developer-tool */
/* Styles for Web developer tools */
/* @namespace url(http://www.w3.org/1999/xhtml);
.CodeMirror {
font-family: "Ubuntu Mono", monospace !important;
font-size: 15pt !important;
} */
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment