import 'package:flutter/material.dart'; import 'package:google_fonts/google_fonts.dart'; const purple80 = Color(0xFFD0BCFF); const purpleGrey80 = Color(0xFFCCC2DC); const pink80 = Color(0xFFEFB8C8); const purple40 = Color(0xFF6650a4); const purpleGrey40 = Color(0xFF625b71); const pink40 = Color(0xFF7D5260); final interTextStyle = GoogleFonts.inter(); final robotoTextStyle = GoogleFonts.roboto(); const ghOrg = 'revanced'; const patchesRepo = 'revanced-patches'; const integrationsRepo = 'revanced-integrations'; const patcherRepo = 'revanced-patcher'; const cliRepo = 'revanced-cli'; const managerRepo = 'revanced-manager';