manual/docbook/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	iliev	1144	/* 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			}