ic;
                             color:black }
   .example .output { margin-bottom:.25em; margin-top:0;
                      font-family:monospace; font-size:smaller; color:#810 }

   .example .cont { position:absolute; right:10%; color:#108 }
   .example .comment { position:absolute; left:50%; color:#888 }

   .rationale { font-size:smaller }
   .rationale strong:first-child { margin-right:1.5em }

   dl.restarts dd { margin-left:0; margin-top:.25em }
   dl.restarts dd:first-child { margin-top:0 }
   dl.r