experiment with a better icon for code blocks in the pdf

Author: avsm

bin/rwo_html_code_highlight.ml

@@ -31,6 +31,6 @@ let () =
     Xml_tree.read_document In_channel.stdin
     |> fun (dtd, doc) -> Xml_tree.map ~tag:"pre" ~f:subst_with_code_frag doc
     |> fun doc -> Xml_tree.write_document Out_channel.stdout dtd doc
-  with 
+  with
   | Xmlm.Error (_p,e) ->
     print_endline (Xmlm.error_message e)

lib/code_frag.ml

@@ -161,12 +161,12 @@ let concat_toplevel_phrases lines =
   |> List.filter ~f:(function |"" -> false |_ -> true)
 
 let wrap_in_docbook_box ~part typ file buf =
-  let part = 
+  let part =
     match part with
     | 0 -> []
-    | part -> <:html<, continued (part $int:part$)>>
+    | part -> <:html< (part $int:part$)>>
   in
-  let icon = <:xml<&#x2318;>> in
+  let icon = <:xml<&#x270e;>> in
   let info = <:xml<<lineannotation>$icon$ $str:typ$: <filename>$str:file$</filename>$part$</lineannotation>
 $buf$>> in
   Cow.Xml.to_string info