attempt to use 16 color palette for base16-eighties theme