Small tweak to default CSS.

2011-09-12 10:56:56 -05:00
parent 75103b4bb5
commit 3c34e080ef
2 changed files with 3 additions and 3 deletions
--- a/resources/main/jlp.css
+++ b/resources/main/jlp.css
@ -42,7 +42,7 @@ td.docs, th.docs {
    margin: 15px 0 15px;
    padding-left: 15px; }

-.docs p tt, .docs p code {
+.docs tt, .docs code {
    background: #f8f8ff;
    border: 1px solid #dedede;
    font-size: 12px;