diff options
Diffstat (limited to 'demos/demos.css')
| -rw-r--r-- | demos/demos.css | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/demos/demos.css b/demos/demos.css index b9e678d7f..96ac8810f 100644 --- a/demos/demos.css +++ b/demos/demos.css @@ -168,6 +168,7 @@ eventually we should convert the font sizes to ems -- using px for now to minimi #demo-notes { width:520px; color:#333; font-size: 1em; } .demo-description p code { padding: 0; font-weight: bold; } +#demo-source pre, #demo-source code { padding: 0; } code, pre { padding:8px 0 8px 20px ; font-size: 1.2em; line-height:130%; } #demo-source a:link, |