Remove hard coded border property in pandas `to_html()`

[raivivek]

Hi,

https://github.com/pydata/pandas/blob/e4cb0f8a6cbb5f0c89b24783baa44326e4b2cccb/pandas/core/format.py#L893

Currently, a border="0" seems to be hard coded in the pandas to_html() table output. I think it'd be more convenient to have that as a CSS property on dataframe than put directly like that.

[jreback]

this will be trivial to change/remove with #10250 , but I don't think we would remove it by default, this is pretty far ingrained.

@TomAugspurger

[jreback]

We also discussed essentially having an option that creates the default HTML output, which a user could override.

[raivivek]

So, #10250 will take care of it, is it? Interesting development. Sounds cool.

[TomAugspurger]

Yeah it should handle this. Right now I've got something like

I need to cleanup the template a bit. If you have specific needs feel free to post them over in #10250.

[jreback]

yeh, so need to make a default styler that implements the current spec (then can take out the hard coded stuff)

[TomAugspurger]

One other thing is my Stylers pretty inefficient. We'll need to get it hooked into the truncated repr before we can hope to replace the current DataFrame._repr_html_