A tiny javascript to display codepieces in webpages nicely (through details/summary with support of old browsers)