From 0080f9a555f6083a02bc4d4b4d077195089bb407 Mon Sep 17 00:00:00 2001 From: tactonbishop Date: Sun, 3 Jul 2022 14:00:04 +0100 Subject: [PATCH] Last Sync: 2022-07-03 14:00:04 --- Operating_Systems/Disks.md | 2 +- markdown-styles.css | 13 +++++++------ 2 files changed, 8 insertions(+), 7 deletions(-) diff --git a/Operating_Systems/Disks.md b/Operating_Systems/Disks.md index 5326097..34eaf2a 100644 --- a/Operating_Systems/Disks.md +++ b/Operating_Systems/Disks.md @@ -65,7 +65,7 @@ The two tools disclose that the main harddrive is `/dev/nvme0n1` (equivalent to * Root dir (`/dev/nvme0n1p2`) * This is the domain of the [superuser](./User_Space.md#root-user-superuser). The part of the filesystem that you need sudo priveleges to access and where you manage users * Home dir (`/dev/nvme0n1p3`) - + * The domain of the user(s) ### Types of partition table In general there are two types of partition table: MBR and GPT however each operating system has its own variations on these core types. The type of table used determines how the OS boots. So although partition tables also partition non-bootable sectors of a disk, they are distinguished by the boot system they enact. diff --git a/markdown-styles.css b/markdown-styles.css index 5346030..a89e3ee 100644 --- a/markdown-styles.css +++ b/markdown-styles.css @@ -2,7 +2,13 @@ h1, h2, h3, h4, h5, h6, p { font-family: 'Inter'; } +pre, code { + font-family: 'LigaLiberationMono'; + font-size: 12px !important; +} + +/* h1 { font-size: 24px !important; @@ -27,9 +33,4 @@ h5 { p, ul, li, dl, dd, dt { font-size: 14px; -} - -pre, code { - font-family: 'LigaLiberationMono'; - font-size: 12px !important; -} \ No newline at end of file +} */