Border, background and text color for a workspace button when the workspace has focus.
null or (submodule)
null for state version ≥ 20.09, as example otherwise
{ background = "#285577"; border = "#4c7899"; text = "#ffffff"; }