Rocco Marco Guglielmi

I think the solution is to reorder the shout down functions and as good measure add a join ``` def _shutdown_gracefully(self, status=CLOSE_STATUS_NORMAL, reason=DEFAULT_CLOSE_REASON): """ Send a CLOSE handshake to all...

@AndiDittrich thanks for the quick reply. I did not select any bold to this block nor there is an option to do so 

I already customized the theme. I don't see any bold property in any line. Are we talking about the same block? How can bold on the define line influence the...

Can you please point to the bold properties that you see? I am exploring the but I cannot see those. Also looking at the highlighting something is wrong. The stray...

Now I get it. Still, I believe there is a problem with the parsing. Also I did not customized the the font type. My customer theme is just defining colors...

Hi Andi, I see two problem 1. The font-family is specified by enlighter.js that come with the plugin  If this is needed `` my expectation would be that...

1. Good to know. I don't know if this note has been added into an integration guide (I did not read the documentation properly). If not may be a good...

Hi Andi, I just added the font but I don't see the first line getting bold nor the alignment get any better: If you look at the strays you will...

Thanks Andi, the font is there though.  I will look into that later but I believe this is some sort of bug. Using monocode instead of Source Code...