From f07e0fe437b33046a3ee36c5d2223d47eeabb5d8 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 25 Jun 2005 03:44:25 +0000
Subject: [PATCH] Make <STRONG> use boldface.

---
 doc/pintos.css | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/pintos.css b/doc/pintos.css
index f904001..0af878f 100644
--- a/doc/pintos.css
+++ b/doc/pintos.css
@@ -46,6 +46,9 @@ html {
 tt, code {
 	font-family: sans-serif
 }
+b, strong {
+	font-weight: bold
+}
 
 a:link {
 	color: blue;
-- 
2.30.2