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
|
|
|
|
|
|
|
final interTextStyle = GoogleFonts.inter();
|
|
|
|
final robotoTextStyle = GoogleFonts.roboto();
|
2022-08-02 09:55:01 +02:00
|
|
|
|
2022-08-07 01:37:12 +02:00
|
|
|
const ghOrg = 'revanced';
|
|
|
|
const patchesRepo = 'revanced-patches';
|
|
|
|
const integrationsRepo = 'revanced-integrations';
|
2022-08-12 20:07:16 +02:00
|
|
|
const patcherRepo = 'revanced-patcher';
|
|
|
|
const cliRepo = 'revanced-cli';
|
|
|
|
const managerRepo = 'revanced-manager';
|