Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | Remove references to GIFs used for rounded corners. Rounded corners have not used those GIFs since check-in [2912fc93f779] on 2012-09-04. |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
708a9a33a861b0d4c3f36aac8be03bcd |
| User & Date: | drh 2012-12-12 15:33:22 |
Context
|
2012-12-12
| ||
| 18:18 | Use CSS rather than GIFs to implement rounded corners on the menu bar of the "Search" page. check-in: 60d478d5bb user: drh tags: trunk | |
| 15:33 | Remove references to GIFs used for rounded corners. Rounded corners have not used those GIFs since check-in [2912fc93f779] on 2012-09-04. check-in: 708a9a33a8 user: drh tags: trunk | |
| 14:45 | Fix mistaken latitude values in the examples in the RTree documentation. check-in: 3af544a1b7 user: drh tags: trunk | |
Changes
Changes to matrix.tcl.
191 191 .toolbar a:visited { color: white; } 192 192 .toolbar a:hover { color: #044a64; background: white; } 193 193 194 194 .content { margin: 5%; } 195 195 .content dt { font-weight:bold; } 196 196 .content dd { margin-bottom: 25px; margin-left:20%; } 197 197 .content ul { padding:0px; padding-left: 15px; margin:0px; } 198 - 199 - /* rounded corners */ 200 - .se { background: url(${path}images/se.gif) 100% 100% no-repeat #044a64} 201 - .sw { background: url(${path}images/sw.gif) 0% 100% no-repeat } 202 - .ne { background: url(${path}images/ne.gif) 100% 0% no-repeat } 203 - .nw { background: url(${path}images/nw.gif) 0% 0% no-repeat } 204 - 205 198 206 199 /* Text within colored boxes. 207 200 ** everr is red. evok is green. evnil is white */ 208 201 .everr { 209 202 font-family: monospace; 210 203 font-style: normal; 211 204 background: #ffa0a0;
Changes to wrap.tcl.
420 420 .toolbar a:hover { color: #044a64; background: white; } 421 421 422 422 .content { margin: 5%; } 423 423 .content dt { font-weight:bold; } 424 424 .content dd { margin-bottom: 25px; margin-left:20%; } 425 425 .content ul { padding:0px; padding-left: 15px; margin:0px; } 426 426 427 - /* rounded corners */ 428 - .se { background: url(${path}images/se.gif) 100% 100% no-repeat #044a64} 429 - .sw { background: url(${path}images/sw.gif) 0% 100% no-repeat } 430 - .ne { background: url(${path}images/ne.gif) 100% 0% no-repeat } 431 - .nw { background: url(${path}images/nw.gif) 0% 0% no-repeat } 432 - 433 427 /* Things for "fancyformat" documents start here. */ 434 428 .fancy img+p {font-style:italic} 435 429 .fancy .codeblock i { color: darkblue; } 436 430 .fancy h1,.fancy h2,.fancy h3,.fancy h4 {font-weight:normal;color:#044a64} 437 431 .fancy h2 { margin-left: 10px } 438 432 .fancy h3 { margin-left: 20px } 439 433 .fancy h4 { margin-left: 30px }