Fossil

Check-in [06c7d57d]
Login

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

Overview
Comment:Cherrypick [100c67fa] for bootstrap skin fix.
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | style-css-revamp
Files: files | file ages | folders
SHA3-256: 06c7d57d189e27d11a58b0a9d8431462743f9d939615b79e089f874ef127799a
User & Date: stephan 2020-05-17 18:56:16
Context
2020-05-17
19:49
Eliminated an unnecessary allocation. Code style conformance tweaks. check-in: e2a9fe4b user: stephan tags: style-css-revamp
18:56
Cherrypick [100c67fa] for bootstrap skin fix. check-in: 06c7d57d user: stephan tags: style-css-revamp
17:52
Proof of concept for my proposal of reworking how style.css emits CSS, as discussed in forumpost/d63ff33063. check-in: ae10ddf3 user: stephan tags: style-css-revamp
04:50
Updated bootstrap skin header to use $stylesheet_url instead of hard-coding the name and params. check-in: 100c67fa user: stephan tags: fileedit-ajaxify
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to skins/bootstrap/header.txt.

2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
<head>
  <meta charset="utf-8">
  <base href="$baseurl/$current_page" />
  <title>$<project_name>: $<title></title>
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <meta http-equiv="Content-Security-Policy" content="$default_csp"/>
    <link rel="alternate" type="application/rss+xml" title="RSS Feed" href="$home/timeline.rss" />
    <link rel="stylesheet" href="$home/style.css?default" type="text/css" media="screen" />
    <script nonce="$<nonce>">
    function gebi(x){
      if(/^#/.test(x)) x = x.substr(1);
      var e = document.getElementById(x);
      if(!e) throw new Error("Expecting element with ID "+x);
      else return e;
    }







|







2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
<head>
  <meta charset="utf-8">
  <base href="$baseurl/$current_page" />
  <title>$<project_name>: $<title></title>
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <meta http-equiv="Content-Security-Policy" content="$default_csp"/>
    <link rel="alternate" type="application/rss+xml" title="RSS Feed" href="$home/timeline.rss" />
    <link rel="stylesheet" href="$stylesheet_url" type="text/css" media="screen" />
    <script nonce="$<nonce>">
    function gebi(x){
      if(/^#/.test(x)) x = x.substr(1);
      var e = document.getElementById(x);
      if(!e) throw new Error("Expecting element with ID "+x);
      else return e;
    }