diff options
-rw-r--r-- | inc/format.css | 1 | ||||
-rw-r--r-- | index.html | 3 |
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 { | |||
199 | padding: 0.2cm; | 199 | padding: 0.2cm; |
200 | font-family: Courier New, Courier, monospace; | 200 | font-family: Courier New, Courier, monospace; |
201 | font-size: 10pt; | 201 | font-size: 10pt; |
202 | font-weight: bold; | ||
202 | background-color: #000000; | 203 | background-color: #000000; |
203 | color: #cccccc; | 204 | color: #cccccc; |
204 | border-color: #00C400; | 205 | border-color: #00C400; |
@@ -270,7 +270,8 @@ make modules | |||
270 | class="src">rtsched</span> kernel parameter. | 270 | class="src">rtsched</span> kernel parameter. |
271 | </p> | 271 | </p> |
272 | <pre class="shell"> | 272 | <pre class="shell"> |
273 | rtsched={linux, pfair, part_edf, global_edf, global_edf_np, edf_hsb, gsn_edf, psn_edf, adaptive} | 273 | rtsched= {linux, pfair, part_edf, global_edf, |
274 | global_edf_np, edf_hsb, gsn_edf, psn_edf, adaptive} | ||
274 | </pre> | 275 | </pre> |
275 | <p> | 276 | <p> |
276 | For example, on our test machine, we use the | 277 | For example, on our test machine, we use the |