9.12 More general Gantt formatting

In this section we will show a few more way by which you may customize the gantt chart itself. This includes

• Adding a table title (not to be confused with the graph title)
• Adjusting appearance of the various lines in the bar chart