Cosmetics: removal of a useless comment I wrote in the previous commits

[simgrid.git] / doc / simgrid.css

diff --git a/doc/simgrid.css b/doc/simgrid.css
index 6e4758e..d185605 100644 (file)
--- a/doc/simgrid.css
+++ b/doc/simgrid.css
@@ -13,6 +13,11 @@ DIV.toc  {
 
 DIV.tocTitle {
        text-align: center;
-       font-weight: bold;      
+       font-weight: bold;
        font-size: 130%;
-}
\ No newline at end of file
+}
+
+.remark {
+    background-color: #eee;
+    border: 1px solid #ccc;
+}