<?php
// $Id$
-function plc_show_options($array) {
+drupal_set_html_head('
+<script type="text/javascript" src="/planetlab/minitabs/minitabs.js"></script>
+<link href="/planetlab/minitabs/minitabs.css" rel="stylesheet" type="text/css" />
+');
+
+
+function plc_tabs($array) {
print '<div id="minitabs_container">';
print '<ul id="miniflex">';
foreach ($array as $name=>$url) {