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 +} */