div.alg { text-indent: 0; white-space: pre;
          margin-top: 0.5em; margin-bottom: 0.5em;
	  margin-left: 1em; border-left: 0.1em solid gray; padding-left: 0.5em;
          min-width: 92%; }
span.kw { font-weight: bold; }
span.vr { font-style: italic; }
div.p div.alg { margin-top: 0.2em; margin-bottom: 0.2em;  }