You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
% create new menustyle styles (used for keys)
% - roundedkeyscondensed: no '+' between keys
\copymenustyle{roundedkeyscondensed}{roundedkeys}
\changemenuelement{roundedkeyscondensed}{sep}{%
\hspace{0.2em plus 0.1em minus 0.05em}%
}
% - nobordercondensed: no border around keys, and no '+' between keys
\copymenustyle{nobordercondensed}{paths}
\changemenuelement{nobordercondensed}{pre}{%
\hspace{0.2em plus 0.1em}%
}
\changemenuelement{nobordercondensed}{sep}{%
\hspace{0.2em plus 0.1em}%
}
% replace \keys with borderless condensed version
\renewmenumacro{\keys}[+]{nobordercondensed}
% create new menu macro \keysb (orginal style with border and '+' between keys)
\newmenumacro{\keysb}[+]{roundedkeys}
% create new menu macro \keysbc (orginal style with border but no '+' between keys)
\newmenumacro{\keysbc}[+]{roundedkeyscondensed}
The text was updated successfully, but these errors were encountered:
Suggestion to add more styles for keys, e.g.:
The text was updated successfully, but these errors were encountered: