equal
deleted
inserted
replaced
138 tt.shellcmd { |
138 tt.shellcmd { |
139 font-family: monospace; |
139 font-family: monospace; |
140 } |
140 } |
141 |
141 |
142 ul.shellcmd { |
142 ul.shellcmd { |
143 background-color: #8080F0; |
143 background-color: #C0C0E0; |
144 font-family: monospace; |
144 font-family: monospace; |
|
145 list-style-type: none; |
|
146 margin-top: 1ex; |
|
147 margin-bottom: 1ex; |
145 } |
148 } |
146 |
149 |
147 ul.shellcmd li:before { |
150 ul.shellcmd li:before { |
148 content: "> "; |
151 content: "> "; |
149 font-weight: bold; /* oder gleich grafik */ |
152 font-weight: bold; /* oder gleich grafik */ |