Simen E. Sørensen
Simen E. Sørensen
> my instinct is that we shouldn't be introducing new TOC levels for captions. I totally agree. I've been trying to get rid of this side effect without luck so...
I was coincidentially struggling with this exact problem right now myself as I came across this issue. I tested your solution locally and it's exactly what I was looking for....
@leycec I mentioned yesterday that I tested your proposed solution by locally modifying the extension itself, which obviously would be a bad idea for a pipeline build. But building on...
@drammock Nice! That's even better of course. I've updated my original comment as that may be a very useful trick for other overrides too. > But still, I think we...
@drammock, @leycec, I've made an implementation for this and opened PR #1241 for feedback. (It's still missing documentation for the new parameters)
@larsoner as a user I think it would be a lot more convenient to have this as an option in conf.py rather than having to make custom css rules to...
I've done my best at writing a documentation entry for the board, so I've taken the PR out of draft.
> All these commits must be squashed into a single commit Is that something I'm expected to do locally and force push, or can this be done with a squash...
Ok, I've squashed the "new board definition"-related commits now. I've still kept two individual commits as they were in different areas of the project (samples and esp32 common).
I've now fixed syntax problems in git commits and other minor stuff that triggers errors in check_compliance.py