let default_style_sheet =
"
div.TDL_group_title { font-weight: bold ; padding-left: 0.5em; }
div.TDL_group_body {
  margin-left: 1em ; border-style: solid; border-width: 0 0 0 1px; border-color: blue;
  padding-bottom: 0.5em;
  }
div.TDL_item_desc { font-size: smaller ; margin-left: 0.5em; }
span.TDL_item_state { font-style: italic ; }
div.TDL_item { padding-left: 0.5em; }
"