/*
 * Abstract css
 */
body * {display: none;}
h1 {display: block; margin: 0.5ex;}
div.abst, div.abst * {display: block;}