let default_stylesheets = [
"https://cdn.rawgit.com/hammerlab/ketrew/2d1c430cca52caa71e363a765ff8775a6ae14ba9/src/doc/code_style.css";
"http://cdn.jsdelivr.net/bootstrap/3.1.1/css/bootstrap.min.css";
"http://cdn.jsdelivr.net/bootstrap/3.1.1/css/bootstrap-theme.min.css";
(* <link rel="stylesheet" href="code_style.css" type="text/css"> *)
]