Make unprotected and protected protection globals distinguishable in HTML
Make unprotected and protected protection globals distinguishable in HTML

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer