/* This file is generated by Savane, it isn't copyrighable.  */
div#graph-bar0 { width: 15%; }
div#graph-bar1 { width: 62%; }
div#graph-bar2 { width: 23%; }
div#graph-bar3 { width: 23%; }
div#graph-bar4 { width: 61%; }
div#graph-bar5 { width: 14%; }
div#graph-bar6 { width: 1%; }
