From 7dd8bf1719ff64fd1109711eca04babacc7e2610 Mon Sep 17 00:00:00 2001
From: Bjoern Brandenburg <bbb@bbb1-cs.cs.unc.edu>
Date: Fri, 7 Dec 2007 12:16:12 -0500
Subject: Changed style of shell commands

---
 inc/format.css | 1 +
 index.html     | 3 ++-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/inc/format.css b/inc/format.css
index 17b1c2b..abb5c20 100644
--- a/inc/format.css
+++ b/inc/format.css
@@ -199,6 +199,7 @@ h3 {
   padding: 0.2cm;
   font-family: Courier New, Courier, monospace;
   font-size: 10pt;
+  font-weight: bold;
   background-color: #000000;
   color: #cccccc;
   border-color: #00C400;
diff --git a/index.html b/index.html
index d68684d..3c668d7 100644
--- a/index.html
+++ b/index.html
@@ -270,7 +270,8 @@ make modules
    class="src">rtsched</span> kernel parameter. 
    </p>
 <pre class="shell">
-rtsched={linux, pfair, part_edf, global_edf, global_edf_np, edf_hsb, gsn_edf, psn_edf, adaptive}
+rtsched= {linux, pfair, part_edf, global_edf, 
+          global_edf_np, edf_hsb, gsn_edf, psn_edf, adaptive}
 </pre>
    <p>
    For example, on our test machine, we use the
-- 
cgit v1.2.2