From 22f094c0e8a920dd18f055fa328c13a359bea94c Mon Sep 17 00:00:00 2001 From: "waldemar%netscape.com" Date: Thu, 1 Mar 2001 05:34:37 +0000 Subject: [PATCH] Brought up to date git-svn-id: svn://10.0.0.236/trunk@88283 18797224-902f-48f8-a5cc-f745e15eee43 --- mozilla/js2/semantics/styles.css | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/mozilla/js2/semantics/styles.css b/mozilla/js2/semantics/styles.css index 24e47cc2918..db4e5f26b58 100644 --- a/mozilla/js2/semantics/styles.css +++ b/mozilla/js2/semantics/styles.css @@ -30,9 +30,9 @@ DT {font-style: italic; margin-top: 3pt} .grammar-lhs {} .grammar-rhs {margin-left: 9pt;} .grammar-argument {margin-left: 18pt; margin-top: 6pt; margin-bottom: 6pt} -.semantics {margin-left: 9pt; margin-top: 3pt; margin-bottom: 3pt} -.semantics-next {margin-left: 27pt; margin-bottom: 3pt} -.semantic-comment {margin-left: 9pt; margin-top: 9pt; margin-bottom: 0pt} +.semantics {margin-left: 9pt; margin-top: 6pt; margin-bottom: 3pt} +.semantics-next {margin-left: 27pt; margin-top: 0pt; margin-bottom: 3pt} +.semantic-comment {margin-left: 9pt; margin-top: 12pt; margin-bottom: 0pt} .symbol {font-family: Symbol} .unicode {font-family: "Lucida Sans Unicode", serif}