update post markup/formatting

assets/css/styles.scss

@@ -25,8 +25,9 @@ a:focus > code {
 }
 
 .text-large {
-	font-size: 2em;
+	font-size: 1.5em;
 	line-height: 1em;
+	padding-right: 0.1em;
 }
 
 pre > code {

blog/2019-04-14-Right-to-Repair.md

@@ -56,7 +56,7 @@ sources:
 tags: blog
 ---
 
-<span class="text__notice">I originally wrote this post as a class assignment, and while I believe the information here is accurate, I have some qualms about the ideas it presents - mainly that it focuses largely on Apple, while in actuality, Right to Repair is about a whole lot more. I plan to expand on this in a future post, covering its implications in more detail.</span>
+<div class="card card-accent"><p class="card-body">I originally wrote this post as a class assignment, and while I believe the information here is accurate, I have some qualms about the ideas it presents - mainly that it focuses largely on Apple, while in actuality, Right to Repair is about a whole lot more. I plan to expand on this in a future post, covering its implications in more detail.</p></div>
 
 The consumer’s “right to repair” is becoming an increasingly relevant issue with technical products
 and devices in modern society. Large corporations like Apple have formed an exclusionary environment

blog/2019-06-13-Aptoide-Play-Fair-Response.md

@@ -15,9 +15,9 @@ links:
 tags: blog
 ---
 
-<span class="text__notice">Aptoide seems to have taken down the webpage that this post disputes - I've updated the link to open a copy stored on archive.org.</span>
+<div class="card card-accent"><p class="card-body">Aptoide seems to have taken down the webpage that this post disputes - I've updated the link to open a copy stored on archive.org.</p></div>
 
-<span class="text__attention">About a week ago,</span> Aptoide created the website
+<span class="text-large">About a week ago,</span> Aptoide created the website
 ["GooglePlayFair.com"](http://web.archive.org/web/20190605045259/https://googleplayfair.com/) as part of what
 [several news outlets](https://techcrunch.com/2019/06/04/aptoide-a-play-store-rival-cries-antitrust-foul-over-google-hiding-its-app/)
 are calling a public campaign against Google's allegedly "anti-competitive behavior". Upon my initial skim through
@@ -110,7 +110,7 @@ the project for not being "real open source", so I am very excited to see compan
 party tools for Android which do not depend on Google's permission to operate. However, writing this blog has really
 made me question if I want to personally support Aptoide or not.
 
-I am inevitably left hesitant to reccommend Aptoide to an end user if they cannot keep their
+I am inevitably left hesitant to recommend Aptoide to an end user if they cannot keep their
 [long history of serving malware and piracy](https://www.reddit.com/r/androiddev/comments/2u3aav/apparently_my_app_is_available_for_free_at_aptoide/)
 at bay. With this in mind, it makes Google's "unfair" treatment of Aptoide seem a lot more justifiable. Don't get
 me wrong, Aptoide was right to file an antitrust complaint against them, but I can almost emphasize with Google's
@@ -206,7 +206,7 @@ should do in order to remain "secure" and be able to compete with F-Droid and Go
   several users [seem to have had trouble](https://social.jlelse.me/objects/29950d77-8d77-4c7c-884f-45f9df2fabcd) removing their
   information in the past.
 
-For users and developers, I would reccommend against using Aptoide for now, mainly because of the reasons above. A better alternative
+For users and developers, I would recommend against using Aptoide for now, mainly because of the reasons above. A better alternative
 might be [F-Droid](https://f-droid.org/), a catalogue of free ([free as in libre](https://en.wikipedia.org/wiki/Gratis_versus_libre))
 software in which submissions to the main repository are each manually reviewed and curated by a group of contributors. F-Droid
 does also allow third-party repositories to operate, but does so in the same way that any open source software can be modified and

blog/2019-10-15-Open-Source-in-Education.md

@@ -49,7 +49,7 @@ sources:
 tags: blog
 ---
 
-<span class="text__attention">The free software movement</span> is well known in
+<span class="text-large">The free software movement</span> is well known in
 computer science for its belief in open or visible software as a crucial right.
 The movement heavily opposes common practices such as Digital Restrictions
 Management (DRM), which place restrictions on users' ability to control the

blog/2019-10-30-Ethical-Source.md

@@ -19,9 +19,9 @@ links:
 tags: blog
 ---
 
-<span class="text__notice">Many of the criticisms I made in this post have since been addressed - see the <a href="https://ethicalsource.dev/definition/">Ethical Source Definition</a> for updated information about the movement.</span>
+<div class="card card-accent"><p class="card-body">Many of the initial concerns described in this post have since been addressed - see the <a href="https://ethicalsource.dev/definition/">Ethical Source Definition</a> for updated information about the movement.</p></div>
 
-<span class="text__attention">The influence of ethics</span> and moral views in
+<span class="text-large">The influence of ethics</span> and moral views in
 open source software has recently seen somewhat of an increase in relevance and
 discussion. Many people
 [have tried to argue](https://gitlab.com/gitlab-com/www-gitlab-com/merge_requests/30656)

blog/2019-12-15-Federated-Social-Networks.md

@@ -19,7 +19,7 @@ links:
 tags: blog
 ---
 
-<span class="text__attention">The Fediverse</span> is best explained as an
+<span class="text-large">The Fediverse</span> is best explained as an
 interconnected web of services that communicate with each other with a shared
 protocol. Imagine that you had an account on one social website from which you
 could send, receive, and reply to posts from people that use different websites

blog/2020-01-24-Ethics-of-AI.md

@@ -53,7 +53,7 @@ sources:
 tags: blog
 ---
 
-<span class="text__attention">The field of "artificial intelligence"</span> is
+<span class="text-large">The field of "artificial intelligence"</span> is
 gaining increasingly noticeable relevance in the software industry. Frequently
 used in headlines and marketing, "AI" is widely regarded as an inaccurate
 buzzword, especially due to the many abstract and vague arguments derived from