5 <link rel="stylesheet" href="icedeb.css"/>
7 <script src="icedeb.js"></script>
8 <textarea id="clip-pot" contenteditable="true"></textarea>
9 <input type="text" id="clipboard"/>
10 <div id="button-list-container">
11 <div><span class="icedeb-button" id="bts">Bug tracker</span> (<a href="https://bugs.debian.org/">site</a>)</div>
12 <div><span class="icedeb-button" id="pts">Package tracker</span> (<a href="https://tracker.debian.org/">site</a>)</div>
13 <div><span class="icedeb-button" id="deb">Package directory</span> (<a href="https://packages.debian.org/">site</a>)</div>
14 <div><span class="icedeb-button" id="ml">Mailing lists</span> (<a href="https://lists.debian.org/">site</a>)</div>
15 <div><span class="icedeb-button" id="ddpo">Developer overview</span> (<a href="https://qa.debian.org/developer.php">site</a>)</div>
16 <div><span class="icedeb-button" id="buildd">Build logs</span> (<a href="https://buildd.debian.org/">site</a>)</div>
17 <div><span class="icedeb-button" id="security">Security tracker</span> (<a href="https://security-tracker.debian.org/">site</a>)</div>