Documentation Source Text

Check-in [a7401a13cd]
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Merge in the rounded-corner fix.
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: a7401a13cd3f7b4778ac09f5d3c117e519c73a86
User & Date: drh 2007-11-13 18:28:59
Context
2007-11-13
19:10
Fix a relative path problem in wrap.tcl. Use the multi-file C API reference by default. check-in: c67fecef8e user: drh tags: trunk
18:28
Merge in the rounded-corner fix. check-in: a7401a13cd user: drh tags: trunk
18:27
Add the "crew.html" page with pictures of drh and dan. check-in: 5c48533dcb user: drh tags: trunk
16:26
Modify the method used to round the corners of the toolbar. check-in: 78925c45be user: anonymous tags: trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to wrap.tcl.

69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105

106
107
108
109
110
111
112
113
114
115
116


117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
      font-style:italic;
      width:240px;
      margin:12px;
      margin-top:58px;
    }
    
    .toolbar {
      background-color: #80a796;
      position: relative;
      font-variant: small-caps;
      clear: both;
      text-align: center;
      line-height: 1.6em;
      margin-bottom: 5px;
      padding:1px 8px;
      height:1%; /* IE hack to fix rounded corner positions */
    }
    .toolbar a { color: white; text-decoration: none; padding: 6px 4px; }
    .toolbar a:visited { color: white; }
    .toolbar a:hover { color: #80a796; 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,.ne,.nw,.sw { position: absolute; width:8px; height:8px; 
                      font-size:7px; /* IE hack to ensure height=8px */ }
    .se  { background-image: url(${relpath}images/se.png);
           bottom: 0px; right: 0px; }
    .ne  { background-image: url(${relpath}images/ne.png);
           top: 0px;    right: 0px; }
    .sw  { background-image: url(${relpath}images/sw.png);
           bottom: 0px; left: 0px; }
    .nw  { background-image: url(${relpath}images/nw.png);
           top: 0px;    left: 0px; }

    </style>
    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  }
  puts {</head>}
  putsin4 {<body>
    <div><!-- container div to satisfy validator -->
    
    <img class="logo" src="${relpath}images/SQLite.gif" alt="SQLite Logo">
    <div><!-- IE hack to prevent disappearing logo--></div>
    <div class="tagline">The World's Most Widely Used SQL Database.</div>
    


    <div class="toolbar">
      <a href="${relpath}index.html">Home</a>
      <a href="${relpath}about.html">About</a>
      <a href="${relpath}docs.html">Documentation</a>
      <a href="${relpath}download.html">Download</a>
      <a href="${relpath}copyright.html">License</a>
      <a href="${relpath}press.html">Advocacy</a>
      <a href="${relpath}devhome.html">Developers</a>
      <a href="${relpath}news.html">News</a>
      <a href="${relpath}support.html">Support</a>
      <!-- rounded corners -->
      <div class="ne"></div><div class="se"></div><div class="nw">
      </div><div class="sw"></div>
    </div>
  }
}

# A procedure to write the common footer found at the bottom of
# every HTML file.  $srcfile is the name of the file that is the
# source of the HTML content.  The modification time of this file
# is used to add the "last modified on" line at the bottom of the







<
<

<


|

<











|
|
|
|
<
<
<
<
<
<
>











>
>
|
|
|
|
|
|
|
|
|
|
<
<
|
|







69
70
71
72
73
74
75


76

77
78
79
80

81
82
83
84
85
86
87
88
89
90
91
92
93
94
95






96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119


120
121
122
123
124
125
126
127
128
      font-style:italic;
      width:240px;
      margin:12px;
      margin-top:58px;
    }
    
    .toolbar {


      font-variant: small-caps;

      text-align: center;
      line-height: 1.6em;
      margin: 0;
      padding:1px 8px;

    }
    .toolbar a { color: white; text-decoration: none; padding: 6px 4px; }
    .toolbar a:visited { color: white; }
    .toolbar a:hover { color: #80a796; 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(images/se.png) 100% 100% no-repeat #80a796 }
    .sw  { background: url(images/sw.png) 0% 100% no-repeat }
    .ne  { background: url(images/ne.png) 100% 0% no-repeat }
    .nw  { background: url(images/nw.png) 0% 0% no-repeat }







    </style>
    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  }
  puts {</head>}
  putsin4 {<body>
    <div><!-- container div to satisfy validator -->
    
    <img class="logo" src="${relpath}images/SQLite.gif" alt="SQLite Logo">
    <div><!-- IE hack to prevent disappearing logo--></div>
    <div class="tagline">The World's Most Widely Used SQL Database.</div>
    
    <table width=100% style="clear:both"><tr><td>
      <div class="se"><div class="sw"><div class="ne"><div class="nw">
      <div class="toolbar">
        <a href="${relpath}index.html">Home</a>
        <a href="${relpath}about.html">About</a>
        <a href="${relpath}docs.html">Documentation</a>
        <a href="${relpath}download.html">Download</a>
        <a href="${relpath}copyright.html">License</a>
        <a href="${relpath}press.html">Advocacy</a>
        <a href="${relpath}devhome.html">Developers</a>
        <a href="${relpath}news.html">News</a>
        <a href="${relpath}support.html">Support</a>


      </div></div></div></div></div>
    </td></tr></table>
  }
}

# A procedure to write the common footer found at the bottom of
# every HTML file.  $srcfile is the name of the file that is the
# source of the HTML content.  The modification time of this file
# is used to add the "last modified on" line at the bottom of the