diff --git a/options.html b/options.html index d310f0262..1868e06a8 100644 --- a/options.html +++ b/options.html @@ -976,6 +976,9 @@ is assumed to already be available in your profile.

Declared by:

<home-manager/modules/misc/gtk.nix> +
gtk.gtk4.extraCss

Extra configuration lines to add verbatim to +$XDG_CONFIG_HOME/gtk-4.0/gtk.css.

Type: strings concatenated with "\n"

Default: ""

Declared by:

+ <home-manager/modules/misc/gtk.nix>
gtk.iconTheme

The icon theme to use.

Type: null or (submodule)

Default: null

Declared by:

<home-manager/modules/misc/gtk.nix>
gtk.iconTheme.package

Package providing the icon theme. This package will be installed