From 3c34e080ef651f90b001fbb13cb3f2d9d51ca83c Mon Sep 17 00:00:00 2001 From: Jonathan Bernard Date: Mon, 12 Sep 2011 10:56:56 -0500 Subject: [PATCH] Small tweak to default CSS. --- project.properties | 4 ++-- resources/main/jlp.css | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/project.properties b/project.properties index d7c14df..be87361 100644 --- a/project.properties +++ b/project.properties @@ -1,6 +1,6 @@ -#Fri, 09 Sep 2011 14:55:32 -0500 +#Mon, 12 Sep 2011 10:56:06 -0500 name=jlp version=0.3 -build.number=7 +build.number=8 lib.local=true release.dir=release diff --git a/resources/main/jlp.css b/resources/main/jlp.css index ed78184..1dfcbca 100644 --- 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;