2024-02-14 10:04:08 -05:00
|
|
|
// Web fonts
|
2024-02-21 11:01:50 -05:00
|
|
|
@import '../../fonts/noto-sans';
|
|
|
|
@import '../../fonts/dm-mono';
|
2024-04-03 07:02:06 -04:00
|
|
|
@import '../../fonts/merriweather';
|
|
|
|
@import '../../fonts/source-code-pro';
|
|
|
|
@import '../../fonts/stix-two-math';
|
|
|
|
@import '../../fonts/noto-serif';
|
|
|
|
@import '../../fonts/material-symbols';
|
|
|
|
@import '../../fonts/font-awesome';
|
2024-02-14 10:04:08 -05:00
|
|
|
|
|
|
|
$is-overleaf-light: false;
|
|
|
|
|
|
|
|
// Vendor CSS
|
|
|
|
// TODO Bootstrap 5: Check whether this works with Bootstrap 5, and whether we can replace it
|
2024-04-03 07:02:06 -04:00
|
|
|
@import '../vendor/select/select';
|
2024-02-14 10:04:08 -05:00
|
|
|
|
|
|
|
// Boostrap-related
|
|
|
|
|
|
|
|
// Note that files containing Bootstrap or Sass files that interact with
|
|
|
|
// Bootstrap's Sass variable must use @import rather than @use because
|
|
|
|
// Bootstrap relies on its variables, mixins etc. all being global.
|
|
|
|
|
2024-03-27 06:56:17 -04:00
|
|
|
// Include Bootstrap 5 itself, plus overrides and extend Bootstrap styles.
|
|
|
|
@import 'bootstrap';
|