private void NumericListExecuted(object sender, ExecutedRoutedEventArgs e) { if (htmldoc != null) { htmldoc.NumberedList(); } }