2 style definitions for the bookmarklet
4 $Id: bookmarklet.css 1277 2008-10-22 08:43:59Z shizuki $
11 font-family: "Trebuchet MS",Trebuchet,"Bitstream Vera Sans",verdana,lucida,arial,helvetica,sans-serif
15 border-bottom: 1px dotted gray;
21 Hide switch buttons initially, we'll enable them again if we are sure
22 the browser supports DOM
28 Hide preview also when no DOM is supported
36 background: rgb(187, 187, 204);
42 border: 1px solid #CACAD7;
43 border-right: 2px solid #8E8EAB;
44 border-bottom: 2px solid #8E8EAB;
46 font-family: "Trebuchet MS",Trebuchet,"Bitstream Vera Sans",verdana,lucida,arial,helvetica,sans-serif;
54 overflow: auto; /* temporary removed, to make the select box work in Mozilla */
85 text-decoration: none;
89 text-decoration: underline;
100 label { cursor: pointer; }
105 border-collapse: collapse;
123 border: 1px solid #ddd;
129 td a:link, td a:visited {
130 text-decoration: underline;
136 text-decoration: underline;
139 td.draft, td.future {
148 list-style-type: none;