diff options
Diffstat (limited to 'www/content.css')
-rw-r--r-- | www/content.css | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/www/content.css b/www/content.css index 9571114d..355ecca5 100644 --- a/www/content.css +++ b/www/content.css @@ -35,10 +35,18 @@ div.instr{ margin: 7px; } +/* Instructions */ +pre.output{ + border: 1px solid LightSteelBlue ; + font-family: Courier New; + background-color: #E3E3E3; + padding: 7px; + margin: 7px; +} + /* Code */ pre.code{ display:table; - text-align: left; border: 1px solid LightSteelBlue ; font-family: Courier New; background-color: #E3E3E3; |