anchor.diff:  /// )
   /// ```
   /// {@end-tool}
  +///
  +/// ### Italics
  +///
   /// {@tool sample}
  -///
  -/// ### Italics
  -///
   /// As in the previous example, the [Text] widget is given a specific style
   /// override which is implicitly mixed with the ambient [DefaultTextStyle].
   ///
  
positive.code: ///
  /// ### Size
  ///
  /// In this example, the ambient [DefaultTextStyle] is explicitly manipulated to
  /// obtain a [TextStyle] that doubles the default font size.
  ///
  
negative.code: ///   style: DefaultTextStyle.of(context).style.apply(fontSizeFactor: 2.0),
  /// )
  /// ```
  /// {@end-tool}
  ///
  /// ### Line height
  ///
  /// {@tool sample}
  /// The [height] property can be used to change the line height. Here, the line
  /// height is set to 5 times the font size, so that the text is very spaced out.
  ///
  /// ```dart
  /// Text(
  ///   'Don\'t act surprised, you guys, cuz I wrote \'em!',
  ///   style: TextStyle(height: 5.0),
  /// )
  /// ```
  /// {@end-tool}
  ///
  /// ### Wavy red underline with black text
  ///
  /// {@tool sample}
  /// Styles can be combined. In this example, the misspelt word is drawn in black
  /// text and underlined with a wavy red line to indicate a spelling error. (The
  /// remainder is styled according to the Flutter default text styles, not the
  