You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@maven.apache.org by si...@apache.org on 2011/10/25 17:43:10 UTC

svn commit: r1188729 - /maven/sandbox/trunk/skin/maven-fluido-skin/src/main/resources/css/maven-theme.css

Author: simonetripodi
Date: Tue Oct 25 15:43:09 2011
New Revision: 1188729

URL: http://svn.apache.org/viewvc?rev=1188729&view=rev
Log:
minor compressed format

Modified:
    maven/sandbox/trunk/skin/maven-fluido-skin/src/main/resources/css/maven-theme.css

Modified: maven/sandbox/trunk/skin/maven-fluido-skin/src/main/resources/css/maven-theme.css
URL: http://svn.apache.org/viewvc/maven/sandbox/trunk/skin/maven-fluido-skin/src/main/resources/css/maven-theme.css?rev=1188729&r1=1188728&r2=1188729&view=diff
==============================================================================
--- maven/sandbox/trunk/skin/maven-fluido-skin/src/main/resources/css/maven-theme.css (original)
+++ maven/sandbox/trunk/skin/maven-fluido-skin/src/main/resources/css/maven-theme.css Tue Oct 25 15:43:09 2011
@@ -19,17 +19,9 @@
 
 /* $Id$ */
 
-.clear{
-    clear:both;
-    visibility: hidden;
-}
-.clear hr{
-    display: none;
-}
-.section p, .section p, .section dt, .section dt{
-    margin-right: 7px;
-    margin-left: 7px;
-}
+.clear{clear:both;visibility: hidden;}
+.clear hr{display: none;}
+.section p,.section p,.section dt,.section dt{margin-right: 7px;margin-left: 7px;}
 
 /* Tweaks to the bootstrap theme
 --------------------------------- */
@@ -39,11 +31,5 @@
 
 /* Copied from bootstrap <code> tag style. Maven translates <code> to <tt>. */
 tt{padding:0 3px 2px;font-family:Monaco, Andale Mono, Courier New, monospace;font-size:12px;-webkit-border-radius:3px;-moz-border-radius:3px;border-radius:3px;background-color:#fee9cc;color:rgba(0, 0, 0, 0.75);padding:1px 3px;}
-a.externalLink {
-    background: url(../images/external.png) right center no-repeat;
-    padding-right: 18px;
-}
-a.newWindow {
-    background: url(../images/newwindow.png) right center no-repeat;
-    padding-right: 18px;
-}
+a.externalLink{background: url(../images/external.png) right center no-repeat;padding-right: 18px;}
+a.newWindow {background: url(../images/newwindow.png) right center no-repeat;padding-right: 18px;}