3 background-color: #eee;
14 padding: 15px 20px 30px 30px;
23 #tree h1.title a:hover {
58 padding: 10px 30px 30px 350px;
77 display: inline !important;
80 border-bottom: 1px solid transparent;
85 text-decoration: none;
86 border-bottom: 1px solid #aaa;
92 border-bottom: 1px solid #555;
109 border-bottom: 2px solid #ccc;
110 padding-bottom: 10px;
115 margin: 30px 0 20px 0;
118 border-bottom: 2px solid #ddd;
122 margin: 20px 0 10px 0;
125 border-bottom: 1px solid #eee;
131 margin: 20px 0 10px 0;
132 padding-bottom: 10px;
133 border-bottom: 1px solid #eee;
168 /* Keyboard binding layout */
177 #content .bindings dt
185 font-family: "Trebuchet MS", "Bitstream Vera Sans", Verdana, Arial, Helvetica, sans-serif;
189 #content .bindings dd
196 font-family: "Bitstream Vera Sans Mono", "Courier New", monospace;
201 #content dl.wide-table
209 #content .wide-table dt
221 border-top: 2px solid #eee;
224 #content dt:first-child,
225 #content dd:nth-child(2) {
229 #content .wide-table dd
237 #content dl.narrower-table
245 #content .narrower-table dt
254 #content .narrower-table dd
263 -moz-background-clip:border;
264 -moz-background-inline-policy:continuous;
265 -moz-background-origin:padding;
266 background:#EEEEEE none repeat scroll 0 0;
267 border-color:#CCCCCC #AAAAAA #888888 #BBBBBB;
269 border-width:1px 1px 2px 2px;
289 content: "Ctrl-Alt-";
293 content: "Ctrl-Shift-";
297 content: "Ctrl-Win-";
313 content: "Cmd-Ctrl-";
317 content: "Cmd-Shift-";