2022-07-31 10:00:11 +02:00
|
|
|
import 'package:flutter/material.dart';
|
2022-08-01 10:38:22 +02:00
|
|
|
import 'package:google_fonts/google_fonts.dart';
|
2022-07-31 10:00:11 +02:00
|
|
|
|
|
|
|
const purple80 = Color(0xFFD0BCFF);
|
|
|
|
const purpleGrey80 = Color(0xFFCCC2DC);
|
|
|
|
const pink80 = Color(0xFFEFB8C8);
|
|
|
|
const purple40 = Color(0xFF6650a4);
|
|
|
|
const purpleGrey40 = Color(0xFF625b71);
|
|
|
|
const pink40 = Color(0xFF7D5260);
|
2022-08-01 10:38:22 +02:00
|
|
|
|
2022-08-19 15:04:40 +02:00
|
|
|
final kInterTextStyle = GoogleFonts.inter();
|
|
|
|
final kRobotoTextStyle = GoogleFonts.roboto();
|
|
|
|
final kSettingItemTextStyle = GoogleFonts.roboto(
|
|
|
|
fontSize: 20,
|
|
|
|
fontWeight: FontWeight.w500,
|
|
|
|
);
|
|
|
|
final kSettingItemSubtitleTextStyle = GoogleFonts.roboto(
|
|
|
|
fontSize: 13,
|
|
|
|
fontWeight: FontWeight.w300,
|
|
|
|
);
|
2022-08-02 09:55:01 +02:00
|
|
|
|
2022-08-21 17:46:42 +02:00
|
|
|
String ghOrg = 'revanced';
|
|
|
|
String patchesRepo = 'revanced-patches';
|
|
|
|
String integrationsRepo = 'revanced-integrations';
|
2022-08-12 20:07:16 +02:00
|
|
|
const patcherRepo = 'revanced-patcher';
|
|
|
|
const cliRepo = 'revanced-cli';
|
|
|
|
const managerRepo = 'revanced-manager';
|