- str_prot p ^ ":/" ^ str_body b ^ str_frag i
-;;
-
-let str_uref (u, i) =
- UriManager.string_of_uri u ^
- match i with
- [] -> ""
- | l ->
- "#xpointer(1" ^
- List.fold_left (fun i n -> i ^ "/" ^ string_of_int n) "" l ^
- ")"
-;;
-
-(* raw HTML representation *)
-
-let key s = "<font color=\"blue\">" ^ s ^ " </font>"
-
-let sub s = "<font color=\"blue\"> " ^ s ^ " </font>"
-
-let sub2 s = "<font color=\"blue\">" ^ s ^ "</font>"