1/* --- keyboard plugin --- */
2
3
4kbd.__keyboard {
5  color: #333333;
6  background-color: white;
7  text-align: center;
8  border-left: 1px solid #cfcfcf;
9  border-top: 1px solid #cfcfcf;
10  border-right: 2px solid #666666;
11  border-bottom: 2px solid #666666;
12  -moz-border-radius: 4px 4px 4px 4px;
13  padding-left: 1px;
14  padding-top: 0px;
15  padding-right: 2px;
16  padding-bottom: 0px;
17  margin-left: 2px;
18  margin-right: 2px;
19  vertical-align: top;
20  font-family: sans-serif;
21  white-space: nowrap;
22}
23
24// Adopted from MediaWiki template keypress.
25kbd.__keyboard_keypress {
26    border: 1px solid #aaa;
27    -moz-border-radius: 0.2em;
28    -webkit-border-radius: 0.2em;
29    border-radius: 0.2em;
30    -moz-box-shadow: 0.1em 0.1em 0.2em rgba(0,0,0,0.1);
31    -webkit-box-shadow: 0.1em 0.1em 0.2em rgba(0,0,0,0.1);
32    box-shadow: 0.1em 0.1em 0.2em rgba(0,0,0,0.1);
33    background-color: #f9f9f9;
34    background-image: -moz-linear-gradient(top, #eee, #f9f9f9, #eee);
35    background-image: -o-linear-gradient(top, #eee, #f9f9f9, #eee);
36    background-image: -webkit-linear-gradient(top, #eee, #f9f9f9, #eee);
37    background-image: linear-gradient(to bottom, #eee, #f9f9f9, #eee);
38    padding: 0.1em 0.3em;
39    font-family: inherit;
40    font-size: 0.85em;
41}
42
43