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 */
78 text-decoration: none;
82 text-decoration: underline;
93 label { cursor: pointer; }
98 border-collapse: collapse;
116 border: 1px solid #ddd;
122 td a:link, td a:visited {
123 text-decoration: underline;
129 text-decoration: underline;
132 td.draft, td.future {
141 list-style-type: none;