width of <code>