Fossil

Check-in [714ff82433]
Login

Check-in [714ff82433]

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

Overview
Comment:Xekri skin: added same logo toggle as in [c4c64257cf], improved page layout in chat mode, and slightly modernized the header layout. Gave chat message area in all skins a very slight side padding.
Downloads: Tarball | ZIP archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: 714ff824334fecf6e180f7972fb6c2bc7f50ade4969e4f50d7ca7322ef4ea01e
User & Date: stephan 2021-09-16 17:05:17.485
Context
2021-09-16
17:12
Moved the [2d8a9046a1] CSS change into (table.diff pre), as the previous placement reportedly makes no difference. ... (check-in: bb2e6c6185 user: stephan tags: trunk)
17:05
Xekri skin: added same logo toggle as in [c4c64257cf], improved page layout in chat mode, and slightly modernized the header layout. Gave chat message area in all skins a very slight side padding. ... (check-in: 714ff82433 user: stephan tags: trunk)
15:39
Added diff context loading to the list of places we use JS in javascript.md. ... (check-in: 30a2b87c4e user: stephan tags: trunk)
Changes
Unified Diff Ignore Whitespace Patch
Changes to skins/xekri/css.txt.
︙︙
87
88
89
90
91
92
93










94
95
96
97
98
99
100
101
102
103
104
105
106
107


/**************************************
 * Main Area: Header
 */

div.header {
  margin: 0.5rem auto 0 auto;










}

div.logo img {
  float: left;
  padding: 0;
  box-shadow: 3px 3px 1px #000;
  margin: 0 6px 6px 0;
}

div.logo br {
  display: none;
}

div.logo nobr {








>
>
>
>
>
>
>
>
>
>



<

|
|








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


/**************************************
 * Main Area: Header
 */

div.header {
  margin: 0.5rem auto 0 auto;
  display: flex;
  flex-direction: row;
  align-items: center;
  flex-wrap: wrap;
}
div.logo {
  display: inline;
  max-height: 4em;
  max-width: 4em;
  flex: 0 1 auto;
}

div.logo img {

  padding: 0;
  box-shadow: 2px 4px 6px rgba(180,180,180,0.70);
  border-radius: 2mm;
}

div.logo br {
  display: none;
}

div.logo nobr {
︙︙
118
119
120
121
122
123
124

125
126
127
128
129
130
131
132

133
134
135
136
137
138
139

  color: #3297f9;
  font-family: Verdana, sans-serif;
  font-weight: bold;
  font-size: 2.5rem;
  padding: 0.5rem;
  text-align: center;
  text-shadow: 3px 3px 1px #000;

}

div.status {
  color: #ee0;
  font-size: 1rem;
  padding: 0.25rem;
  text-align: right;
  text-shadow: 2px 2px 1px #000;

}


/**************************************
 * Main Area: Global Menu
 */









>








>








127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150

  color: #3297f9;
  font-family: Verdana, sans-serif;
  font-weight: bold;
  font-size: 2.5rem;
  padding: 0.5rem;
  text-align: center;
  text-shadow: 3px 3px 1px #000;
  flex: 10 0 auto;
}

div.status {
  color: #ee0;
  font-size: 1rem;
  padding: 0.25rem;
  text-align: right;
  text-shadow: 2px 2px 1px #000;
  flex: 0 1 auto;
}


/**************************************
 * Main Area: Global Menu
 */
︙︙
1138
1139
1140
1141
1142
1143
1144











  color: black;
}

body.branch .brlist > table > tbody > tr:hover:not(.selected),
body.branch .brlist > table > tbody > tr.selected {
  background-color: #444;
}


















>
>
>
>
>
>
>
>
>
>

1149
1150
1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165

  color: black;
}

body.branch .brlist > table > tbody > tr:hover:not(.selected),
body.branch .brlist > table > tbody > tr.selected {
  background-color: #444;
}

body.chat div.header, body.chat div.footer,
body.chat div.mainmenu, body.chat div.submenu,
body.chat div.content {
  margin-left: auto;
  margin-right: auto;
}
body.chat.chat-only-mode div.content {
  max-width: revert;
}
Changes to skins/xekri/header.txt.
︙︙
54
55
56
57
58
59
60


61




62
63
64
65
66
67
68

          set logourl $baseurl
        }
      } else {
        set logourl $baseurl
      }
      return $logourl
    }


    set logourl [getLogoUrl $baseurl]




    </th1>
    <a href="$logourl">
      <img src="$logo_image_url" border="0" alt="$project_name">
    </a>
  </div>
  <div class="title">$<title></div>
  <div class="status"><nobr><th1>








>
>
|
>
>
>
>








54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74

          set logourl $baseurl
        }
      } else {
        set logourl $baseurl
      }
      return $logourl
    }
    if {1} {
      # Link logo to the top of the current domain
      set logourl [getLogoUrl $baseurl]
    } else {
      # Link logo to the top of the current repo
      set logourl $baseurl
    }
    </th1>
    <a href="$logourl">
      <img src="$logo_image_url" border="0" alt="$project_name">
    </a>
  </div>
  <div class="title">$<title></div>
  <div class="status"><nobr><th1>
︙︙
Changes to src/default.css.
︙︙
1788
1789
1790
1791
1792
1793
1794
1795
1796

1797
1798
1799
1800
1801
1802
1803

  /*Recall that many browsers don't allow styling of OPTION
    elements, or allow only very limited styling.*/
}

/** Container for the list of /chat messages. */
body.chat #chat-messages-wrapper {
  overflow: auto;
  /*max-height: 800em*//*will be re-calc'd in JS*/;
  flex: 2 1 auto;

}
body.chat #chat-messages-wrapper.loading > * {
  /* An attempt at reducing flicker when loading lots of messages. */
  visibility: hidden;
}
body.chat div.content {
  margin: 0;








<

>








1788
1789
1790
1791
1792
1793
1794

1795
1796
1797
1798
1799
1800
1801
1802
1803

  /*Recall that many browsers don't allow styling of OPTION
    elements, or allow only very limited styling.*/
}

/** Container for the list of /chat messages. */
body.chat #chat-messages-wrapper {
  overflow: auto;

  flex: 2 1 auto;
  padding: 0 0.25em;
}
body.chat #chat-messages-wrapper.loading > * {
  /* An attempt at reducing flicker when loading lots of messages. */
  visibility: hidden;
}
body.chat div.content {
  margin: 0;
︙︙