various small improvements to workbook: code formatting, sage code width, feedback link functionality