Markdown in notes is not rendered correctly

[manud99]

I noticed that markdown (e.g. bold, italic, code) in yellow notes is not rendered correctly. For example in this section the content of two words labelled as code are missing from the first note: https://viper.ethz.ch/tutorial/#conditional-termination