Fossil

Check-in [100c67fa]
Login

Check-in [100c67fa]

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

Overview
Comment:Updated bootstrap skin header to use $stylesheet_url instead of hard-coding the name and params.
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | fileedit-ajaxify
Files: files | file ages | folders
SHA3-256: 100c67fa507b44ad8757522823e950f4ba6ea3c56cfee116a15342db38d07a7c
User & Date: stephan 2020-05-17 04:50:33
References
2020-05-17
18:56
Cherrypick [100c67fa] for bootstrap skin fix. ... (check-in: 06c7d57d user: stephan tags: style-css-revamp)
Context
2020-05-17
18:56
Cherrypick [100c67fa] for bootstrap skin fix. ... (check-in: 06c7d57d user: stephan tags: style-css-revamp)
06:09
More style tweaks. ... (check-in: 0209fa32 user: stephan tags: fileedit-ajaxify)
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)
04:45
Fixed input-with-label > label style for skins which set label display to block. ... (check-in: 0002b7d7 user: stephan tags: fileedit-ajaxify)
Changes
Unified Diff Ignore Whitespace Patch
Changes to skins/bootstrap/header.txt. 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

<html lang="en">
<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;
    }









|








1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

<html lang="en">
<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;
    }
︙︙