I had a dataframe 20k rows x 13 columns (mostly floats) that I simply wanted to apply some formats to have the data fit in the screen. Here\'s the innocuous pandas styler c