Documentation Source Text

Check-in [708a9a33a8]
Login

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.
Downloads: Tarball | ZIP archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: 708a9a33a861b0d4c3f36aac8be03bcdcc1df631
User & Date: drh 2012-12-12 15:33:22.322
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
Unified Diff Show Whitespace Changes Patch
Changes to matrix.tcl.
︙︙
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211

    .toolbar a:visited { color: white; }
    .toolbar a:hover { color: #044a64; background: white; }
    
    .content    { margin: 5%; }
    .content dt { font-weight:bold; }
    .content dd { margin-bottom: 25px; margin-left:20%; }
    .content ul { padding:0px; padding-left: 15px; margin:0px; }
    
    /* rounded corners */
    .se  { background: url(${path}images/se.gif) 100% 100% no-repeat #044a64}
    .sw  { background: url(${path}images/sw.gif) 0% 100% no-repeat }
    .ne  { background: url(${path}images/ne.gif) 100% 0% no-repeat }
    .nw  { background: url(${path}images/nw.gif) 0% 0% no-repeat }


    /* Text within colored boxes.
    **  everr is red.  evok is green. evnil is white */
    .everr {
      font-family: monospace;
      font-style: normal;
      background: #ffa0a0;








<
<
<
<
<
<
<








191
192
193
194
195
196
197







198
199
200
201
202
203
204

    .toolbar a:visited { color: white; }
    .toolbar a:hover { color: #044a64; background: white; }
    
    .content    { margin: 5%; }
    .content dt { font-weight:bold; }
    .content dd { margin-bottom: 25px; margin-left:20%; }
    .content ul { padding:0px; padding-left: 15px; margin:0px; }








    /* Text within colored boxes.
    **  everr is red.  evok is green. evnil is white */
    .everr {
      font-family: monospace;
      font-style: normal;
      background: #ffa0a0;
︙︙
Changes to wrap.tcl.
︙︙
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439

    .toolbar a:hover { color: #044a64; background: white; }
    
    .content    { margin: 5%; }
    .content dt { font-weight:bold; }
    .content dd { margin-bottom: 25px; margin-left:20%; }
    .content ul { padding:0px; padding-left: 15px; margin:0px; }
    
    /* rounded corners */
    .se  { background: url(${path}images/se.gif) 100% 100% no-repeat #044a64}
    .sw  { background: url(${path}images/sw.gif) 0% 100% no-repeat }
    .ne  { background: url(${path}images/ne.gif) 100% 0% no-repeat }
    .nw  { background: url(${path}images/nw.gif) 0% 0% no-repeat }

    /* Things for "fancyformat" documents start here. */
    .fancy img+p {font-style:italic}
    .fancy .codeblock i { color: darkblue; }
    .fancy h1,.fancy h2,.fancy h3,.fancy h4 {font-weight:normal;color:#044a64}
    .fancy h2 { margin-left: 10px }
    .fancy h3 { margin-left: 20px }
    .fancy h4 { margin-left: 30px }








<
<
<
<
<
<








420
421
422
423
424
425
426






427
428
429
430
431
432
433

    .toolbar a:hover { color: #044a64; background: white; }
    
    .content    { margin: 5%; }
    .content dt { font-weight:bold; }
    .content dd { margin-bottom: 25px; margin-left:20%; }
    .content ul { padding:0px; padding-left: 15px; margin:0px; }
    






    /* Things for "fancyformat" documents start here. */
    .fancy img+p {font-style:italic}
    .fancy .codeblock i { color: darkblue; }
    .fancy h1,.fancy h2,.fancy h3,.fancy h4 {font-weight:normal;color:#044a64}
    .fancy h2 { margin-left: 10px }
    .fancy h3 { margin-left: 20px }
    .fancy h4 { margin-left: 30px }
︙︙