Border style not handled correctly

[paulc4]

In DefaultStyle.json the style for "Error" is :

"Error": ["border", "#FF0000"]

This is not being recognized as a "border" style but as a "foreground" style.

Hence the HMTL style generated is .err { color: border; color: #FF0000; } /* Error */.

I assume the idea is that errors are in a red box and written in red text?

[tliron]

I would be very grateful for a pull request to fix this!

[paulc4]

I had a quick look, I'm guessing its in the Jackson code that reads the JSON file. I couldn't see an obvious fix, so I worked around it in my own code - I was writing my own subclass of Formatter anyway. If I get time, I'll take a deeper look.