5 background-color: #EEE;
15 background-color: #DDF;
20 background-color: #DDF;
23 table.menu, table.menu th, table.menu td {
30 background-color: navy;
34 background-color: #DDF;
35 border: 4px double #000;
41 background-color: #DDF;
45 background-color: #DDF;
46 border: 4px double #000;
57 h2.shortcontents-heading{
82 text-decoration: underline;
85 pre.example, pre.verbatim {
86 padding: 0.5em 1em 0.5em 1em;
90 pre.example, pre.verbatim {
91 border: 1px solid navy;
95 text-decoration: none;
100 border: 1px solid #00F;
103 kbd, code, .file, var {
105 font-family: monospace;
112 border: 1px solid #CCC;
113 border-collapse: collapse; /* 枠線の表示方法 */
116 table.cartouche, table.cartouche th, table.cartouche td {
120 pre.example .command, pre.example .option, pre.example kbd {
122 font-family: monospace;
130 border: 2px solid green;