3 def codebox(title
= None, language
= "", filepath
= None, contents
= ""):
5 if filepath
is not None:
7 <div class="titledCodeBox">
8 <div class="codeBoxTitle"><code>{title}</code></div>
16 <div class="titledCodeBox">
17 <div class="codeBoxTitle"><code>{title}</code></div>
24 if filepath
is not None: