steveej/infra
1
0
Fork 0
Code Issues 2 Pull requests Projects Releases Packages Wiki Activity Actions

firefox: change profiles and their colors

Browse source
This commit is contained in:
steveej 2025-01-21 10:08:54 +01:00
parent eb99d0526c
commit 44341dbc5a
1 changed files with 85 additions and 39 deletions
Download patch file Download diff file Expand all files Collapse all files

124
nix/home-manager/programs/firefox.nix
View file

@ -18,7 +18,7 @@ let
auto-tab-discard auto-tab-discard
# redirector # For nixos wiki # redirector # For nixos wiki
darkreader # darkreader
facebook-container facebook-container
control-panel-for-twitter control-panel-for-twitter
@ -156,17 +156,41 @@ let
# enable userChrome # enable userChrome
"toolkit.legacyUserProfileCustomizations.stylesheets" = true; "toolkit.legacyUserProfileCustomizations.stylesheets" = true;
"devtools.chrome.enabled" = true;
"devtools.debugger.remote-enabled" = true;
# disable translations for some languages
"browser.translations.neverTranslateLanguages" = ["en" "de"];
"browser.translations.automaticallyPopup" = false;
}; };
userChrome = userChrome =
let let
name = override.color or colors.grey; name = override.color or colors.grey;
value = colorValues."${name}".normal; value = colorValues."${name}".normal;
valueBright = colorValues."${name}".bright; valueBright = colorValues."${name}".highlight;
valueDark = colorValues."${name}".dark; valueDark = colorValues."${name}".inactive;
in in
'' ''
/* TODO: set regular toolbar background color */ @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"); /* only needed once */
#nav-bar {
background-color: ${value} !important;
color: black !important;
}
/* don't show close button on background tabs */
#tabbrowser-tabs[closebuttons="activetab"] .tabbrowser-tab:not([selected]):not([pinned]):not([hover]) .tab-close-button {
display: none !important;
}
/* show close button on hover */
#tabbrowser-tabs[closebuttons="activetab"] .tabbrowser-tab:not([selected]):not([pinned]):hover .tab-close-button {
display: -moz-inline-box !important;
}
/* default */ /* default */
#TabsToolbar { #TabsToolbar {
@ -176,11 +200,13 @@ let
/* default tab */ /* default tab */
#TabsToolbar #tabbrowser-tabs .tabbrowser-tab .tab-content { #TabsToolbar #tabbrowser-tabs .tabbrowser-tab .tab-content {
background: ${value} !important; background: ${value} !important;
opacity: 0.8
} }
/* selected tab */ /* selected tab */
#TabsToolbar #tabbrowser-tabs .tabbrowser-tab[selected] .tab-content { #TabsToolbar #tabbrowser-tabs .tabbrowser-tab[selected] .tab-content {
background: ${valueBright} !important; background: ${valueBright} !important;
box-shadow: 0 8px 16px 0 rgba(0,0,0,0.2), 0 6px 20px 0 rgba(0,0,0,0.19);
} }
/* hovered tab */ /* hovered tab */
@ -217,54 +243,54 @@ let
colorValues = { colorValues = {
blue = { blue = {
normal = "#37adff"; normal = "#49b1fc";
bright = "#00acff"; # Brighter blue highlight = "#05a9fc"; # Brighter blue
dark = "#2c8dd3"; # Darker blue inactive = "#1f81c6"; # Darker blue
}; };
green = { green = {
normal = "#51cd00"; normal = "#51cd00";
bright = "#5ae200"; # Brighter green highlight = "#5ae200"; # Brighter green
dark = "#45ad00"; # Darker green inactive = "#45ad00"; # Darker green
}; };
orange = { orange = {
normal = "#ff9800"; normal = "#ff9800";
bright = "#ffb74d"; # Brighter orange highlight = "#ffb74d"; # Brighter orange
dark = "#c76a00"; # Darker orange inactive = "#c76a00"; # Darker orange
}; };
red = { red = {
normal = "#f6685e"; normal = "#f6685e";
bright = "#ff4336"; # Brighter red highlight = "#ff4336"; # Brighter red
dark = "#aa463f"; # Darker red inactive = "#aa463f"; # Darker red
}; };
yellow = { yellow = {
normal = "#ffeb3b"; normal = "#fced4b";
bright = "#fff350"; # Brighter yellow highlight = "#fce705"; # Brighter yellow
dark = "#c6a700"; # Darker yellow inactive = "#dbbe00"; # Darker yellow
}; };
purple = { purple = {
normal = "#9c27b0"; normal = "#9c27b0";
bright = "#ab47bc"; # Brighter purple highlight = "#ab47bc"; # Brighter purple
dark = "#7b1fa2"; # Darker purple inactive = "#7b1fa2"; # Darker purple
}; };
pink = { pink = {
normal = "#e91e63"; normal = "#e91e63";
bright = "#ff6090"; # Brighter pink highlight = "#ff6090"; # Brighter pink
dark = "#c2185b"; # Darker pink inactive = "#c2185b"; # Darker pink
}; };
brown = { brown = {
normal = "#795548"; normal = "#795548";
bright = "#a88b6f"; # Brighter brown highlight = "#a88b6f"; # Brighter brown
dark = "#4e3b30"; # Darker brown inactive = "#4e3b30"; # Darker brown
}; };
grey = { grey = {
normal = "#9e9e9e"; normal = "#9e9e9e";
bright = "#bdbdbd"; # Brighter grey highlight = "#bdbdbd"; # Brighter grey
dark = "#757575"; # Darker grey inactive = "#757575"; # Darker grey
}; };
teal = { teal = {
normal = "#009688"; normal = "#009688";
bright = "#26c6da"; # Brighter teal highlight = "#26c6da"; # Brighter teal
dark = "#00796b"; # Darker teal inactive = "#00796b"; # Darker teal
}; };
}; };
@ -283,32 +309,52 @@ in
isDefault = true; isDefault = true;
color = colors.blue; color = colors.blue;
}; };
"personal-finance" = mkProfile { "comms" = mkProfile {
id = 1; id = 1;
color = colors.green; color = colors.blue;
}; };
"business" = mkProfile { "admin" = mkProfile {
id = 2; id = 2;
color = colors.teal; color = colors.blue;
}; };
"dev-admin" = mkProfile { "infra" = mkProfile {
id = 3; id = 3;
color = colors.teal; color = colors.blue;
}; };
"dev-holo" = mkProfile { "finance" = mkProfile {
id = 4; id = 4;
color = colors.red;
};
"dev-infra" = mkProfile {
id = 5;
color = colors.yellow; color = colors.yellow;
}; };
"justyna" = mkProfile { "business-admin" = mkProfile {
id = 5;
color = colors.teal;
};
"business-comms" = mkProfile {
id = 6; id = 6;
color = colors.teal;
};
"business-dev" = mkProfile {
id = 7;
color = colors.teal;
};
"holo-dev" = mkProfile {
id = 8;
color = colors.green;
};
"holo-infra" = mkProfile {
id = 9;
color = colors.green;
};
"holo-comms" = mkProfile {
id = 10;
color = colors.green;
};
"justyna" = mkProfile {
id = 11;
color = colors.pink; color = colors.pink;
}; };
"justyna-office" = mkProfile { "justyna-office" = mkProfile {
id = 7; id = 12;
color = colors.pink; color = colors.pink;
}; };
}; };