ar animation_3_play_button_ = document.getElementById('animation_3_play_button_');
                  if (this.paused) {
                    this.play();
                    animation_3_play_button_.style.display = 'none';
                  } else {
                    this.pause();
                    animation_3_play_button_.style.display = 'block';
                  }" loop="">
    <source src="https://flutter.github.io/assets-for-api-docs/assets/dart-ui/bevel_join.mp4" type="video/mp4">
  </video>
</div>