anchor.diff:  
     @override
     Widget build(BuildContext context) {
  -    return ListView(
  -      children: const [
  -        SizedBox(height: 16),
  -        _DesktopLaunchControls(),
  -        SizedBox(height: 16),
  -        _DesktopFlipperControls(),
  -      ],
  +    return Padding(
  +      padding: const EdgeInsets.all(16),
  +      child: Column(
  +        children: const [
  +          _DesktopLaunchControls(),
  +          SizedBox(height: 16),
  +          _DesktopFlipperControls(),
  +        ],
  +      ),
       );
     }
   }
  
positive.code:   Widget build(BuildContext context) {
      final paddingWidth = MediaQuery.of(context).size.width * 0.15;
      final paddingHeight = MediaQuery.of(context).size.height * 0.075;
      return FittedBox(
        child: Padding(
          padding: EdgeInsets.symmetric(
            horizontal: paddingWidth,
          ),
          child: Column(
            children: [
              const _MobileLaunchControls(),
              SizedBox(height: paddingHeight),
              const _MobileFlipperControls(),
            ],
          ),
        ),
      );
    }
  
negative.code:       child: PinballDialog(
          title: l10n.howToPlay,
          subtitle: l10n.tipsForFlips,
          child: FittedBox(
            child: isMobile ? const _MobileBody() : const _DesktopBody(),
          ),
        ),
      );
    }
  