remove a couple of oldies

[simgrid.git] / doc / simgrid.css

diff --git a/doc/simgrid.css b/doc/simgrid.css
deleted file mode 100644 (file)
index d185605..0000000
--- a/doc/simgrid.css
+++ /dev/null
@@ -1,23 +0,0 @@
-/* Table Of Content styles, by Martin Quinson (but not original at all) */
-DIV.toc  {
-       background-color: #e8eef2;
-       border: 1px solid #84b0c7;
-       font-size: 120%;
-       display: block;
-       float: right;
-       margin: 10px;
-       padding: 10px;
-       padding-top: 0px;
-       padding-bottom: 0px;
-}
-
-DIV.tocTitle {
-       text-align: center;
-       font-weight: bold;
-       font-size: 130%;
-}
-
-.remark {
-    background-color: #eee;
-    border: 1px solid #ccc;
-}