Make <STRONG> use boldface.

diff --git a/doc/pintos.css b/doc/pintos.css
index f904001d7a3d9188471ec59b2a360872db44102f..0af878f2f63d52ad36613b21ee1fdb1e7daaaa7d 100644 (file)
--- 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;