if plugin method get_css(), embed plugin-specific css to main UI

diff --git a/index.php b/index.php
index 6584d8d2e22139171c2ef49094353967b2142e7b..3d5b2cc435883a57a8aac984dc22ebf5f26d39a9 100644 (file)
--- a/index.php
+++ b/index.php
@@ -62,8 +62,15 @@
 
        <?php print_user_stylesheet($link) ?>
 
-       <script type="text/javascript">
-       </script>
+       <style type="text/css">
+       <?php
+               foreach ($pluginhost->get_plugins() as $n => $p) {
+                       if (method_exists($p, "get_css")) {
+                               echo $p->get_css();
+                       }
+               }
+       ?>
+       </style>
 
        <link rel="shortcut icon" type="image/png" href="images/favicon.png"/>