4 background-color: #eee;
20 #tree h1.title a:hover {
51 padding: 70px 30px 30px 360px;
65 display: inline !important;
68 border-bottom: 1px solid transparent;
73 text-decoration: none;
74 border-bottom: 1px solid #aaa;
80 border-bottom: 1px solid #555;
97 border-bottom: 2px solid #ccc;
103 margin: 30px 0 20px 0;
106 border-bottom: 2px solid #ddd;
110 margin: 20px 0 10px 0;
113 border-bottom: 1px solid #eee;
119 margin: 20px 0 10px 0;
120 padding-bottom: 10px;
121 border-bottom: 1px solid #eee;
156 /* Keyboard binding layout */
165 #content .bindings dt
173 font-family: "Trebuchet MS", "Bitstream Vera Sans", Verdana, Arial, Helvetica, sans-serif;
177 #content .bindings dd
184 font-family: "Bitstream Vera Sans Mono", "Courier New", monospace;
189 #content dl.wide-table
197 #content .wide-table dt
209 border-top: 2px solid #eee;
212 #content dt:first-child,
213 #content dd:nth-child(2) {
217 #content .wide-table dd
225 #content dl.narrower-table
233 #content .narrower-table dt
242 #content .narrower-table dd
251 -moz-background-clip:border;
252 -moz-background-inline-policy:continuous;
253 -moz-background-origin:padding;
254 background:#EEEEEE none repeat scroll 0 0;
255 border-color:#CCCCCC #AAAAAA #888888 #BBBBBB;
257 border-width:1px 1px 2px 2px;
277 content: "Ctrl-Alt-";
281 content: "Ctrl-Shift-";
285 content: "Ctrl-Win-";
301 content: "Cmd-Ctrl-";
305 content: "Cmd-Shift-";