equal
deleted
inserted
replaced
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; |
148 margin-left: 4em; |
|
149 margin-right: 4em; |
149 padding-left: 0pt; |
150 padding-left: 0pt; |
150 } |
151 } |
151 |
152 |
152 ul.shellcmd li:before { |
153 ul.shellcmd li:before { |
153 content: "$ "; |
154 content: "$ "; |
154 font-weight: bold; |
155 font-weight: bold; |
155 font-size: 40pt; |
|
156 } |
156 } |
157 |
157 |
158 /* the faq */ |
158 /* the faq */ |
159 dl.faq dt { |
159 dl.faq dt { |
160 background-color: #8080F0; |
160 background-color: #8080F0; |