equal
deleted
inserted
replaced
143 background-color: #C0C0E0; |
143 background-color: #C0C0E0; |
144 font-family: monospace; |
144 font-family: monospace; |
145 list-style-type: none; |
145 list-style-type: none; |
146 margin-top: 1ex; |
146 margin-top: 1ex; |
147 margin-bottom: 1ex; |
147 margin-bottom: 1ex; |
|
148 margin-left: 4em; |
|
149 padding-left: 0pt; |
148 } |
150 } |
149 |
151 |
150 ul.shellcmd li:before { |
152 ul.shellcmd li:before { |
151 content: "> "; |
153 content: "$ "; |
152 font-weight: bold; /* oder gleich grafik */ |
154 font-weight: bold; |
|
155 font-size: 40pt; |
153 } |
156 } |
154 |
157 |
155 /* the faq */ |
158 /* the faq */ |
156 dl.faq dt { |
159 dl.faq dt { |
157 background-color: #8080F0; |
160 background-color: #8080F0; |