Factor default CSS rules for foldgutter out to standalone foldgutter.css
file. Update demo to include that file. Update manual to make it clearer
that fold gutters need to be styled, and reference the factored-out CSS
rules as the default styles.