2 background-color: #eee;
13 padding: 15px 20px 30px 30px;
22 #tree h1.title a:hover {
57 padding: 10px 30px 30px 350px;
76 display: inline !important;
79 border-bottom: 1px solid transparent;
84 text-decoration: none;
85 border-bottom: 1px solid #aaa;
91 border-bottom: 1px solid #555;
108 border-bottom: 2px solid #ccc;
109 padding-bottom: 10px;
114 margin: 30px 0 20px 0;
117 border-bottom: 2px solid #ddd;
121 margin: 20px 0 10px 0;
124 border-bottom: 1px solid #eee;
130 margin: 20px 0 10px 0;
131 padding-bottom: 10px;
132 border-bottom: 1px solid #eee;
167 /* Keyboard binding layout */
176 #content .bindings dt
184 font-family: "Trebuchet MS", "Bitstream Vera Sans", Verdana, Arial, Helvetica, sans-serif;
188 #content .bindings dd
195 font-family: "Bitstream Vera Sans Mono", "Courier New", monospace;
200 #content dl.wide-table
208 #content .wide-table dt
220 border-top: 2px solid #eee;
223 #content dt:first-child,
224 #content dd:nth-child(2) {
228 #content .wide-table dd
236 #content dl.narrower-table
244 #content .narrower-table dt
253 #content .narrower-table dd
262 -moz-background-clip:border;
263 -moz-background-inline-policy:continuous;
264 -moz-background-origin:padding;
265 background:#EEEEEE none repeat scroll 0 0;
266 border-color:#CCCCCC #AAAAAA #888888 #BBBBBB;
268 border-width:1px 1px 2px 2px;
275 padding: 0 1em 0 1em;
293 margin-left:0 1em 1em 0;
297 #content .note,.warning {
302 -webkit-border-radius: 4px;
303 -moz-border-radius: 4px;
305 -webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.05);
306 -moz-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.05);
307 box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.05);
311 border-color: #e3e3e3;
312 background-color: #f5f5f5;
316 border-color: #990000;
317 background-color: #ffeeee;
337 content: "Ctrl-Alt-";
341 content: "Ctrl-Shift-";
345 content: "Ctrl-Win-";
365 content: "Cmd-Ctrl-";
369 content: "Cmd-Shift-";