commit 72be8cae685829973fbb5ae9a9f3fd4e2069f02b
author gwt.team.scottb <gwt.team.scottb@8db76d5a-ed1c-0410-87a9-c151d255dfc7> Mon May 28 00:31:54 2007 +0000
committer gwt.team.scottb <gwt.team.scottb@8db76d5a-ed1c-0410-87a9-c151d255dfc7> Mon May 28 00:31:54 2007 +0000
tree e9740a467d8574aba38db149225e2650b8b96bb9
parent 6ab2c2f2ec69a965d69c3965b5f7ccd2fecb00fb

Fixed missing semicolons in KitchenSink.css.

git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@1163 8db76d5a-ed1c-0410-87a9-c151d255dfc7

samples/kitchensink/src/com/google/gwt/sample/kitchensink/public/KitchenSink.css

diff --git a/samples/kitchensink/src/com/google/gwt/sample/kitchensink/public/KitchenSink.css b/samples/kitchensink/src/com/google/gwt/sample/kitchensink/public/KitchenSink.css
index b6df3b1..c2b6c3b 100644
--- a/samples/kitchensink/src/com/google/gwt/sample/kitchensink/public/KitchenSink.css
+++ b/samples/kitchensink/src/com/google/gwt/sample/kitchensink/public/KitchenSink.css
@@ -174,7 +174,7 @@
   background-color: #C3D9FF;
   padding: 2px;
   border: 2px solid transparent;
-  border-color: #E8F1FF rgb(157, 174, 205) rgb(157, 174, 205) rgb(232, 241, 255)
+  border-color: #E8F1FF rgb(157, 174, 205) rgb(157, 174, 205) rgb(232, 241, 255);
   cursor: pointer;
   cursor: hand;
 }
@@ -183,7 +183,7 @@
   background-color: #C3D9FF;
   padding: 2px;
   border: 2px solid transparent;
-  border-color: #E8F1FF rgb(157, 174, 205) rgb(157, 174, 205) rgb(232, 241, 255)
+  border-color: #E8F1FF rgb(157, 174, 205) rgb(157, 174, 205) rgb(232, 241, 255);
   cursor: pointer;
   cursor: hand;
 }
@@ -210,7 +210,7 @@
   background-color: #C3D9FF;
   padding: 2px;
   border: 2px solid transparent;
-  border-color: #E8F1FF rgb(157, 174, 205) rgb(157, 174, 205) rgb(232, 241, 255)
+  border-color: #E8F1FF rgb(157, 174, 205) rgb(157, 174, 205) rgb(232, 241, 255);
   cursor: pointer;
   cursor: hand;
 }
@@ -219,7 +219,7 @@
   background-color: #C3D9FF;
   padding: 2px;
   border: 2px solid transparent;
-  border-color: #E8F1FF rgb(157, 174, 205) rgb(157, 174, 205) rgb(232, 241, 255)
+  border-color: #E8F1FF rgb(157, 174, 205) rgb(157, 174, 205) rgb(232, 241, 255);
   cursor: pointer;
   cursor: hand;
 }