What is the best practice for including source code in an HTML page? A DIV? CODE? PRE?