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
|
|
|
|
|
|
|
const ghOrg = "revanced";
|
|
|
|
const patchesRepo = "revanced-patches";
|
|
|
|
const integrationsRepo = "revanced-integrations";
|