anchor.diff:  import 'dart:html' hide Console;
   
   import 'package:dart_pad/context.dart';
  +import 'package:dart_pad/src/util.dart';
   import 'package:dart_pad/util/detect_flutter.dart';
   import 'package:dart_pad/util/query_params.dart';
   import 'package:markdown/markdown.dart' as markdown;
  
positive.code:   void _updateInstructions() {
      var div = querySelector('#markdown-content');
      div.children.clear();
      div.innerHtml =
          markdown.markdownToHtml(_workshopState.currentStep.instructions);
      hljs.highlightAll();
    }
  
  
negative.code: 
  WorkshopUi get workshopUi => _workshopUi;
  
  final NodeValidator _htmlValidator = PermissiveNodeValidator();
  
  void init() {
    _workshopUi = WorkshopUi();
  }
  