5 <link rel="stylesheet" href="icedeb.css"/>
7 <script src="icedeb.js"></script>
8 <h3>Query Debian pages</h3>
9 <div class="icedeb-button" id="bts">Bug tracker (bugs.debian.org)</div>
10 <div class="icedeb-button" id="pts">Package tracker (tracker.debian.org)</div>
11 <div class="icedeb-button" id="deb">Package directory (packages.debian.org)</div>
12 <div class="icedeb-button" id="ml">Mailing lists (lists.debian.org)</div>
13 <div class="icedeb-button" id="ddpo">Developer overview</div>
14 <div class="icedeb-button" id="buildd">Build daemons (buildd.debian.org)</div>
15 <div class="icedeb-button" id="security">Security tracker (security-tracker.debian.org)</div>
16 <textarea id="clipboard" contenteditable="true"></textarea>
17 <div id="error" class="hidden"></div>
18 <p id="sorry" class="hidden">Sorry, no support for X11-style <q>selection clipboard</q>.</p>