M: base16-theme warning-background-color "base01" named-base16 ;
M: base16-theme warning-border-color "base01" named-base16 ;
M: base16-theme code-background-color "base01" named-base16 ;
M: base16-theme warning-background-color "base01" named-base16 ;
M: base16-theme warning-border-color "base01" named-base16 ;
M: base16-theme code-background-color "base01" named-base16 ;
M: base16-theme help-path-border-color "base00" named-base16 ;
M: base16-theme tip-background-color "base01" named-base16 ;
M: base16-theme help-path-border-color "base00" named-base16 ;
M: base16-theme tip-background-color "base01" named-base16 ;