manual/html/jsampler.css

/* Images */

img {
        border: 0px none;
}

.guilabel {
        font-weight: bold;
}

.guibutton {
        font-weight: bold;
}

.guimenu {
        font-weight: bold;
}

.guisubmenu {
        font-weight: bold;
}

.command {
        font-size: -1;
        font-family: monospace;
}
1	/* Images */
2
3	img {
4	border: 0px none;
5	}
6
7	.guilabel {
8	font-weight: bold;
9	}
10
11	.guibutton {
12	font-weight: bold;
13	}
14
15	.guimenu {
16	font-weight: bold;
17	}
18
19	.guisubmenu {
20	font-weight: bold;
21	}
22
23	.command {
24	font-size: -1;
25	font-family: monospace;
26	}