.hl-string { color: #008000; }
.hl-value { color: #660E7A; }
.hl-number { color: #0000FF; }
.hl-keyword { color: #000080; }
.hl-word { font-style: italic; font-weight: bold; color: #D2691E; }
.hl-comment, .hl-doccomment { font-style: italic; color: #808080; }
.hl-annotation { color: #808000; }
.hl-directive { color: #555; }

/*
 * Single page html
 */
.book .chapter {
    margin-top: 4em;
}

          !ShapedType::isDynamic(std::get<1>(shape_elts.value()))) {
        shape.push_back(std::get<1>(shape_elts.value()));
        refined_shape = true;
        DCOMMENT("-> refining shape element #" << shape_elts.index());
      } else {
        DCOMMENT("-> not refining shape element #" << shape_elts.index());
        shape.push_back(std::get<0>(shape_elts.value()));
      }
    }
  }