Changed style of shell commands

2 files changed, 3 insertions, 1 deletions

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