/* This file is generated by Savane, it isn't copyrighable.  */
div#graph-bar0 { width: 100%; }
div#graph-bar1 { width: 22%; }
div#graph-bar2 { width: 78%; }
