div.ident { text-indent: -4em; padding-left: 4em; }
div.kbd	{ padding: 0; }
.tab1 { padding-left: 4em; }