Fossil SCM

Avoid the <nobr> tag in generated HTML.

drh 2012-11-17 19:07 UTC trunk merge
Commit 8ea929ca557c99d1d47f3848b74c2b0491763f8b
Parent 6fb750d77ceedd5…
2 files changed +30 -14 +1
~ src/skins.c ~ src/style.c
M src/skins.c
+30 -14
--- src/skins.c
+++ src/skins.c
@@ -44,10 +44,11 @@
4444
 @ font-size: 2em;
4545
 @ font-weight: bold;
4646
 @ background-color: #707070;
4747
 @ color: #ffffff;
4848
 @ min-width: 200px;
49
+@ white-space: nowrap;
4950
 @ }
5051
 @
5152
 @ /* The page title centered at the top of each page */
5253
 @ div.title {
5354
 @ display: table-cell;
@@ -67,10 +68,11 @@
6768
 @ vertical-align: bottom;
6869
 @ color: #404040;
6970
 @ font-size: 0.8em;
7071
 @ font-weight: bold;
7172
 @ min-width: 200px;
73
+@ white-space: nowrap;
7274
 @ }
7375
 @
7476
 @ /* The header across the top of the page */
7577
 @ div.header {
7678
 @ display: table;
@@ -125,10 +127,11 @@
125127
 @ padding: 1px 1px 1px 1px;
126128
 @ font-size: 1.2em;
127129
 @ font-weight: bold;
128130
 @ background-color: #404040;
129131
 @ color: white;
132
+@ white-space: nowrap;
130133
 @ }
131134
 @
132135
 @ /* The "Date" that occurs on the left hand side of timelines */
133136
 @ div.divider {
134137
 @ background: #a0a0a0;
@@ -136,10 +139,11 @@
136139
 @ font-size: 1em; font-weight: normal;
137140
 @ padding: .25em;
138141
 @ margin: .2em 0 .2em 0;
139142
 @ float: left;
140143
 @ clear: left;
144
+@ white-space: nowrap;
141145
 @ }
142146
 @
143147
 @ /* The footer at the very bottom of the page */
144148
 @ div.footer {
145149
 @ font-size: 0.8em;
@@ -166,17 +170,17 @@
166170
 @ media="screen">
167171
 @ </head>
168172
 @ <body>
169173
 @ <div class="header">
170174
 @ <div class="title"><small>$<project_name></small><br />$<title></div>
171
-@ <div class="status"><nobr><th1>
175
+@ <div class="status"><th1>
172176
 @ if {[info exists login]} {
173177
 @ puts "Logged in as $login"
174178
 @ } else {
175179
 @ puts "Not logged in"
176180
 @ }
177
-@ </th1></nobr></div>
181
+@ </th1></div>
178182
 @ </div>
179183
 @ <div class="mainmenu">
180184
 @ <th1>
181185
 @ html "<a href=''$home$index_page''>Home</a>\n"
182186
 @ if {[anycap jor]} {
@@ -235,10 +239,11 @@
235239
 @ text-align: center;
236240
 @ vertical-align: bottom;
237241
 @ font-weight: bold;
238242
 @ font-size: 2.5em;
239243
 @ color: #a09048;
244
+@ white-space: nowrap;
240245
 @ }
241246
 @
242247
 @ /* The page title centered at the top of each page */
243248
 @ div.title {
244249
 @ display: table-cell;
@@ -258,10 +263,11 @@
258263
 @ vertical-align: bottom;
259264
 @ color: #a09048;
260265
 @ padding: 5px 5px 0 0;
261266
 @ font-size: 0.8em;
262267
 @ font-weight: bold;
268
+@ white-space: nowrap;
263269
 @ }
264270
 @
265271
 @ /* The header across the top of the page */
266272
 @ div.header {
267273
 @ display: table;
@@ -316,10 +322,11 @@
316322
 @ padding: 3px 3px 0 3px;
317323
 @ font-size: 1.2em;
318324
 @ font-weight: bold;
319325
 @ background-color: #a09048;
320326
 @ color: white;
327
+@ white-space: nowrap;
321328
 @ }
322329
 @
323330
 @ /* The "Date" that occurs on the left hand side of timelines */
324331
 @ div.divider {
325332
 @ background: #e1d498;
@@ -327,10 +334,11 @@
327334
 @ font-size: 1em; font-weight: normal;
328335
 @ padding: .25em;
329336
 @ margin: .2em 0 .2em 0;
330337
 @ float: left;
331338
 @ clear: left;
339
+@ white-space: nowrap;
332340
 @ }
333341
 @
334342
 @ /* The footer at the very bottom of the page */
335343
 @ div.footer {
336344
 @ font-size: 0.8em;
@@ -370,18 +378,18 @@
370378
 @ </head>
371379
 @ <body>
372380
 @ <div class="header">
373381
 @ <div class="title">$<title></div>
374382
 @ <div class="status">
375
-@ <div class="logo"><nobr>$<project_name></nobr></div><br/>
376
-@ <nobr><th1>
383
+@ <div class="logo">$<project_name></div><br/>
384
+@ <th1>
377385
 @ if {[info exists login]} {
378386
 @ puts "Logged in as $login"
379387
 @ } else {
380388
 @ puts "Not logged in"
381389
 @ }
382
-@ </th1></nobr></div>
390
+@ </th1></div>
383391
 @ </div>
384392
 @ <div class="mainmenu">
385393
 @ <th1>
386394
 @ html "<a href=''$home$index_page''>Home</a>\n"
387395
 @ if {[anycap jor]} {
@@ -448,10 +456,11 @@
448456
 @ display: table-cell;
449457
 @ text-align: left;
450458
 @ vertical-align: bottom;
451459
 @ font-weight: bold;
452460
 @ color: #333;
461
+@ white-space: nowrap;
453462
 @ }
454463
 @
455464
 @ /* The page title centered at the top of each page */
456465
 @ div.title {
457466
 @ display: table-cell;
@@ -471,10 +480,11 @@
471480
 @ vertical-align: bottom;
472481
 @ padding-bottom: 5px;
473482
 @ color: #333;
474483
 @ font-size: 0.8em;
475484
 @ font-weight: bold;
485
+@ white-space: nowrap;
476486
 @ }
477487
 @
478488
 @ /* The header across the top of the page */
479489
 @ div.header {
480490
 @ margin:10px 0px 10px 0px;
@@ -557,10 +567,11 @@
557567
 @ border-style:solid;
558568
 @ border-color:#999;
559569
 @ border-width:1px 0px;
560570
 @ background-color: #eee;
561571
 @ color: #333;
572
+@ white-space: nowrap;
562573
 @ }
563574
 @
564575
 @ /* The "Date" that occurs on the left hand side of timelines */
565576
 @ div.divider {
566577
 @ background: #eee;
@@ -568,11 +579,12 @@
568579
 @ font-size: 1em; font-weight: normal;
569580
 @ padding: .25em;
570581
 @ margin: .2em 0 .2em 0;
571582
 @ float: left;
572583
 @ clear: left;
573
-@ color: #333
584
+@ color: #333;
585
+@ white-space: nowrap;
574586
 @ }
575587
 @
576588
 @ /* The footer at the very bottom of the page */
577589
 @ div.footer {
578590
 @ font-size: 0.8em;
@@ -606,20 +618,20 @@
606618
 @ </head>
607619
 @ <body>
608620
 @ <div class="header">
609621
 @ <div class="logo">
610622
 @ <img src="$home/logo" alt="logo">
611
-@ <br /><nobr>$<project_name></nobr>
623
+@ <br />$<project_name>
612624
 @ </div>
613625
 @ <div class="title">$<title></div>
614
-@ <div class="status"><nobr><th1>
626
+@ <div class="status"><th1>
615627
 @ if {[info exists login]} {
616628
 @ puts "Logged in as $login"
617629
 @ } else {
618630
 @ puts "Not logged in"
619631
 @ }
620
-@ </th1></nobr></div>
632
+@ </th1></div>
621633
 @ </div>
622634
 @ <div class="mainmenu">
623635
 @ <th1>
624636
 @ html "<a href=''$home$index_page''>Home</a>\n"
625637
 @ if {[anycap jor]} {
@@ -682,10 +694,11 @@
682694
 @ div.logo {
683695
 @ display: table-cell;
684696
 @ text-align: right;
685697
 @ vertical-align: bottom;
686698
 @ font-weight: normal;
699
+@ white-space: nowrap;
687700
 @ }
688701
 @
689702
 @ /* Widths */
690703
 @ div.header, div.mainmenu, div.submenu, div.content, div.footer {
691704
 @ max-width: 900px;
@@ -714,10 +727,11 @@
714727
 @ display: table-cell;
715728
 @ text-align: right;
716729
 @ vertical-align: bottom;
717730
 @ color: #333;
718731
 @ margin-right: -20px;
732
+@ white-space: nowrap;
719733
 @ }
720734
 @
721735
 @ /* The main menu bar that appears at the top of the page beneath
722736
 @ ** the header */
723737
 @ div.mainmenu {
@@ -793,10 +807,11 @@
793807
 @ text-align: center;
794808
 @ color: white;
795809
 @ border-radius: 5px;
796810
 @ background-color: #446979;
797811
 @ box-shadow: 0px 3px 4px #333333;
812
+@ white-space: nowrap;
798813
 @ }
799814
 @
800815
 @ /* The "Date" that occurs on the left hand side of timelines */
801816
 @ div.divider {
802817
 @ font-size: 1.2em;
@@ -869,20 +884,20 @@
869884
 @ </head>
870885
 @ <body>
871886
 @ <div class="header">
872887
 @ <div class="logo">
873888
 @ <img src="$home/logo" alt="logo">
874
-@ <br /><nobr>$<project_name></nobr>
889
+@ <br />$<project_name>
875890
 @ </div>
876891
 @ <div class="title">$<title></div>
877
-@ <div class="status"><nobr><th1>
892
+@ <div class="status"><th1>
878893
 @ if {[info exists login]} {
879894
 @ puts "Logged in as $login"
880895
 @ } else {
881896
 @ puts "Not logged in"
882897
 @ }
883
-@ </th1></nobr></div>
898
+@ </th1></div>
884899
 @ </div>
885900
 @ <div class="mainmenu">
886901
 @ <th1>
887902
 @ html "<a href=''$home$index_page''>Home</a>\n"
888903
 @ if {[anycap jor]} {
@@ -955,10 +970,11 @@
955970
 @ text-align: center;
956971
 @ vertical-align: bottom;
957972
 @ font-weight: bold;
958973
 @ color: #558195;
959974
 @ min-width: 200px;
975
+@ white-space: nowrap;
960976
 @ }
961977
 @
962978
 @ /* The page title centered at the top of each page */
963979
 @ div.title {
964980
 @ display: table-cell;
@@ -1159,17 +1175,17 @@
11591175
 @ <a href="$logourl">
11601176
 @ <img src="$baseurl/logo" border="0" alt="$project_name">
11611177
 @ </a>
11621178
 @ </div>
11631179
 @ <div class="title"><small>$<project_name></small><br />$<title></div>
1164
-@ <div class="status"><nobr><th1>
1180
+@ <div class="status"><th1>
11651181
 @ if {[info exists login]} {
11661182
 @ puts "Logged in as $login"
11671183
 @ } else {
11681184
 @ puts "Not logged in"
11691185
 @ }
1170
-@ </th1></nobr></div>
1186
+@ </th1></div>
11711187
 @ </div>
11721188
 @ <div class="mainmenu">
11731189
 @ <th1>
11741190
 @ html "<a href=''$home$index_page''>Home</a>\n"
11751191
 @ if {[anycap jor]} {
11761192
--- src/skins.c
+++ src/skins.c
@@ -44,10 +44,11 @@
44 @ font-size: 2em;
45 @ font-weight: bold;
46 @ background-color: #707070;
47 @ color: #ffffff;
48 @ min-width: 200px;
 
49 @ }
50 @
51 @ /* The page title centered at the top of each page */
52 @ div.title {
53 @ display: table-cell;
@@ -67,10 +68,11 @@
67 @ vertical-align: bottom;
68 @ color: #404040;
69 @ font-size: 0.8em;
70 @ font-weight: bold;
71 @ min-width: 200px;
 
72 @ }
73 @
74 @ /* The header across the top of the page */
75 @ div.header {
76 @ display: table;
@@ -125,10 +127,11 @@
125 @ padding: 1px 1px 1px 1px;
126 @ font-size: 1.2em;
127 @ font-weight: bold;
128 @ background-color: #404040;
129 @ color: white;
 
130 @ }
131 @
132 @ /* The "Date" that occurs on the left hand side of timelines */
133 @ div.divider {
134 @ background: #a0a0a0;
@@ -136,10 +139,11 @@
136 @ font-size: 1em; font-weight: normal;
137 @ padding: .25em;
138 @ margin: .2em 0 .2em 0;
139 @ float: left;
140 @ clear: left;
 
141 @ }
142 @
143 @ /* The footer at the very bottom of the page */
144 @ div.footer {
145 @ font-size: 0.8em;
@@ -166,17 +170,17 @@
166 @ media="screen">
167 @ </head>
168 @ <body>
169 @ <div class="header">
170 @ <div class="title"><small>$<project_name></small><br />$<title></div>
171 @ <div class="status"><nobr><th1>
172 @ if {[info exists login]} {
173 @ puts "Logged in as $login"
174 @ } else {
175 @ puts "Not logged in"
176 @ }
177 @ </th1></nobr></div>
178 @ </div>
179 @ <div class="mainmenu">
180 @ <th1>
181 @ html "<a href=''$home$index_page''>Home</a>\n"
182 @ if {[anycap jor]} {
@@ -235,10 +239,11 @@
235 @ text-align: center;
236 @ vertical-align: bottom;
237 @ font-weight: bold;
238 @ font-size: 2.5em;
239 @ color: #a09048;
 
240 @ }
241 @
242 @ /* The page title centered at the top of each page */
243 @ div.title {
244 @ display: table-cell;
@@ -258,10 +263,11 @@
258 @ vertical-align: bottom;
259 @ color: #a09048;
260 @ padding: 5px 5px 0 0;
261 @ font-size: 0.8em;
262 @ font-weight: bold;
 
263 @ }
264 @
265 @ /* The header across the top of the page */
266 @ div.header {
267 @ display: table;
@@ -316,10 +322,11 @@
316 @ padding: 3px 3px 0 3px;
317 @ font-size: 1.2em;
318 @ font-weight: bold;
319 @ background-color: #a09048;
320 @ color: white;
 
321 @ }
322 @
323 @ /* The "Date" that occurs on the left hand side of timelines */
324 @ div.divider {
325 @ background: #e1d498;
@@ -327,10 +334,11 @@
327 @ font-size: 1em; font-weight: normal;
328 @ padding: .25em;
329 @ margin: .2em 0 .2em 0;
330 @ float: left;
331 @ clear: left;
 
332 @ }
333 @
334 @ /* The footer at the very bottom of the page */
335 @ div.footer {
336 @ font-size: 0.8em;
@@ -370,18 +378,18 @@
370 @ </head>
371 @ <body>
372 @ <div class="header">
373 @ <div class="title">$<title></div>
374 @ <div class="status">
375 @ <div class="logo"><nobr>$<project_name></nobr></div><br/>
376 @ <nobr><th1>
377 @ if {[info exists login]} {
378 @ puts "Logged in as $login"
379 @ } else {
380 @ puts "Not logged in"
381 @ }
382 @ </th1></nobr></div>
383 @ </div>
384 @ <div class="mainmenu">
385 @ <th1>
386 @ html "<a href=''$home$index_page''>Home</a>\n"
387 @ if {[anycap jor]} {
@@ -448,10 +456,11 @@
448 @ display: table-cell;
449 @ text-align: left;
450 @ vertical-align: bottom;
451 @ font-weight: bold;
452 @ color: #333;
 
453 @ }
454 @
455 @ /* The page title centered at the top of each page */
456 @ div.title {
457 @ display: table-cell;
@@ -471,10 +480,11 @@
471 @ vertical-align: bottom;
472 @ padding-bottom: 5px;
473 @ color: #333;
474 @ font-size: 0.8em;
475 @ font-weight: bold;
 
476 @ }
477 @
478 @ /* The header across the top of the page */
479 @ div.header {
480 @ margin:10px 0px 10px 0px;
@@ -557,10 +567,11 @@
557 @ border-style:solid;
558 @ border-color:#999;
559 @ border-width:1px 0px;
560 @ background-color: #eee;
561 @ color: #333;
 
562 @ }
563 @
564 @ /* The "Date" that occurs on the left hand side of timelines */
565 @ div.divider {
566 @ background: #eee;
@@ -568,11 +579,12 @@
568 @ font-size: 1em; font-weight: normal;
569 @ padding: .25em;
570 @ margin: .2em 0 .2em 0;
571 @ float: left;
572 @ clear: left;
573 @ color: #333
 
574 @ }
575 @
576 @ /* The footer at the very bottom of the page */
577 @ div.footer {
578 @ font-size: 0.8em;
@@ -606,20 +618,20 @@
606 @ </head>
607 @ <body>
608 @ <div class="header">
609 @ <div class="logo">
610 @ <img src="$home/logo" alt="logo">
611 @ <br /><nobr>$<project_name></nobr>
612 @ </div>
613 @ <div class="title">$<title></div>
614 @ <div class="status"><nobr><th1>
615 @ if {[info exists login]} {
616 @ puts "Logged in as $login"
617 @ } else {
618 @ puts "Not logged in"
619 @ }
620 @ </th1></nobr></div>
621 @ </div>
622 @ <div class="mainmenu">
623 @ <th1>
624 @ html "<a href=''$home$index_page''>Home</a>\n"
625 @ if {[anycap jor]} {
@@ -682,10 +694,11 @@
682 @ div.logo {
683 @ display: table-cell;
684 @ text-align: right;
685 @ vertical-align: bottom;
686 @ font-weight: normal;
 
687 @ }
688 @
689 @ /* Widths */
690 @ div.header, div.mainmenu, div.submenu, div.content, div.footer {
691 @ max-width: 900px;
@@ -714,10 +727,11 @@
714 @ display: table-cell;
715 @ text-align: right;
716 @ vertical-align: bottom;
717 @ color: #333;
718 @ margin-right: -20px;
 
719 @ }
720 @
721 @ /* The main menu bar that appears at the top of the page beneath
722 @ ** the header */
723 @ div.mainmenu {
@@ -793,10 +807,11 @@
793 @ text-align: center;
794 @ color: white;
795 @ border-radius: 5px;
796 @ background-color: #446979;
797 @ box-shadow: 0px 3px 4px #333333;
 
798 @ }
799 @
800 @ /* The "Date" that occurs on the left hand side of timelines */
801 @ div.divider {
802 @ font-size: 1.2em;
@@ -869,20 +884,20 @@
869 @ </head>
870 @ <body>
871 @ <div class="header">
872 @ <div class="logo">
873 @ <img src="$home/logo" alt="logo">
874 @ <br /><nobr>$<project_name></nobr>
875 @ </div>
876 @ <div class="title">$<title></div>
877 @ <div class="status"><nobr><th1>
878 @ if {[info exists login]} {
879 @ puts "Logged in as $login"
880 @ } else {
881 @ puts "Not logged in"
882 @ }
883 @ </th1></nobr></div>
884 @ </div>
885 @ <div class="mainmenu">
886 @ <th1>
887 @ html "<a href=''$home$index_page''>Home</a>\n"
888 @ if {[anycap jor]} {
@@ -955,10 +970,11 @@
955 @ text-align: center;
956 @ vertical-align: bottom;
957 @ font-weight: bold;
958 @ color: #558195;
959 @ min-width: 200px;
 
960 @ }
961 @
962 @ /* The page title centered at the top of each page */
963 @ div.title {
964 @ display: table-cell;
@@ -1159,17 +1175,17 @@
1159 @ <a href="$logourl">
1160 @ <img src="$baseurl/logo" border="0" alt="$project_name">
1161 @ </a>
1162 @ </div>
1163 @ <div class="title"><small>$<project_name></small><br />$<title></div>
1164 @ <div class="status"><nobr><th1>
1165 @ if {[info exists login]} {
1166 @ puts "Logged in as $login"
1167 @ } else {
1168 @ puts "Not logged in"
1169 @ }
1170 @ </th1></nobr></div>
1171 @ </div>
1172 @ <div class="mainmenu">
1173 @ <th1>
1174 @ html "<a href=''$home$index_page''>Home</a>\n"
1175 @ if {[anycap jor]} {
1176
--- src/skins.c
+++ src/skins.c
@@ -44,10 +44,11 @@
44 @ font-size: 2em;
45 @ font-weight: bold;
46 @ background-color: #707070;
47 @ color: #ffffff;
48 @ min-width: 200px;
49 @ white-space: nowrap;
50 @ }
51 @
52 @ /* The page title centered at the top of each page */
53 @ div.title {
54 @ display: table-cell;
@@ -67,10 +68,11 @@
68 @ vertical-align: bottom;
69 @ color: #404040;
70 @ font-size: 0.8em;
71 @ font-weight: bold;
72 @ min-width: 200px;
73 @ white-space: nowrap;
74 @ }
75 @
76 @ /* The header across the top of the page */
77 @ div.header {
78 @ display: table;
@@ -125,10 +127,11 @@
127 @ padding: 1px 1px 1px 1px;
128 @ font-size: 1.2em;
129 @ font-weight: bold;
130 @ background-color: #404040;
131 @ color: white;
132 @ white-space: nowrap;
133 @ }
134 @
135 @ /* The "Date" that occurs on the left hand side of timelines */
136 @ div.divider {
137 @ background: #a0a0a0;
@@ -136,10 +139,11 @@
139 @ font-size: 1em; font-weight: normal;
140 @ padding: .25em;
141 @ margin: .2em 0 .2em 0;
142 @ float: left;
143 @ clear: left;
144 @ white-space: nowrap;
145 @ }
146 @
147 @ /* The footer at the very bottom of the page */
148 @ div.footer {
149 @ font-size: 0.8em;
@@ -166,17 +170,17 @@
170 @ media="screen">
171 @ </head>
172 @ <body>
173 @ <div class="header">
174 @ <div class="title"><small>$<project_name></small><br />$<title></div>
175 @ <div class="status"><th1>
176 @ if {[info exists login]} {
177 @ puts "Logged in as $login"
178 @ } else {
179 @ puts "Not logged in"
180 @ }
181 @ </th1></div>
182 @ </div>
183 @ <div class="mainmenu">
184 @ <th1>
185 @ html "<a href=''$home$index_page''>Home</a>\n"
186 @ if {[anycap jor]} {
@@ -235,10 +239,11 @@
239 @ text-align: center;
240 @ vertical-align: bottom;
241 @ font-weight: bold;
242 @ font-size: 2.5em;
243 @ color: #a09048;
244 @ white-space: nowrap;
245 @ }
246 @
247 @ /* The page title centered at the top of each page */
248 @ div.title {
249 @ display: table-cell;
@@ -258,10 +263,11 @@
263 @ vertical-align: bottom;
264 @ color: #a09048;
265 @ padding: 5px 5px 0 0;
266 @ font-size: 0.8em;
267 @ font-weight: bold;
268 @ white-space: nowrap;
269 @ }
270 @
271 @ /* The header across the top of the page */
272 @ div.header {
273 @ display: table;
@@ -316,10 +322,11 @@
322 @ padding: 3px 3px 0 3px;
323 @ font-size: 1.2em;
324 @ font-weight: bold;
325 @ background-color: #a09048;
326 @ color: white;
327 @ white-space: nowrap;
328 @ }
329 @
330 @ /* The "Date" that occurs on the left hand side of timelines */
331 @ div.divider {
332 @ background: #e1d498;
@@ -327,10 +334,11 @@
334 @ font-size: 1em; font-weight: normal;
335 @ padding: .25em;
336 @ margin: .2em 0 .2em 0;
337 @ float: left;
338 @ clear: left;
339 @ white-space: nowrap;
340 @ }
341 @
342 @ /* The footer at the very bottom of the page */
343 @ div.footer {
344 @ font-size: 0.8em;
@@ -370,18 +378,18 @@
378 @ </head>
379 @ <body>
380 @ <div class="header">
381 @ <div class="title">$<title></div>
382 @ <div class="status">
383 @ <div class="logo">$<project_name></div><br/>
384 @ <th1>
385 @ if {[info exists login]} {
386 @ puts "Logged in as $login"
387 @ } else {
388 @ puts "Not logged in"
389 @ }
390 @ </th1></div>
391 @ </div>
392 @ <div class="mainmenu">
393 @ <th1>
394 @ html "<a href=''$home$index_page''>Home</a>\n"
395 @ if {[anycap jor]} {
@@ -448,10 +456,11 @@
456 @ display: table-cell;
457 @ text-align: left;
458 @ vertical-align: bottom;
459 @ font-weight: bold;
460 @ color: #333;
461 @ white-space: nowrap;
462 @ }
463 @
464 @ /* The page title centered at the top of each page */
465 @ div.title {
466 @ display: table-cell;
@@ -471,10 +480,11 @@
480 @ vertical-align: bottom;
481 @ padding-bottom: 5px;
482 @ color: #333;
483 @ font-size: 0.8em;
484 @ font-weight: bold;
485 @ white-space: nowrap;
486 @ }
487 @
488 @ /* The header across the top of the page */
489 @ div.header {
490 @ margin:10px 0px 10px 0px;
@@ -557,10 +567,11 @@
567 @ border-style:solid;
568 @ border-color:#999;
569 @ border-width:1px 0px;
570 @ background-color: #eee;
571 @ color: #333;
572 @ white-space: nowrap;
573 @ }
574 @
575 @ /* The "Date" that occurs on the left hand side of timelines */
576 @ div.divider {
577 @ background: #eee;
@@ -568,11 +579,12 @@
579 @ font-size: 1em; font-weight: normal;
580 @ padding: .25em;
581 @ margin: .2em 0 .2em 0;
582 @ float: left;
583 @ clear: left;
584 @ color: #333;
585 @ white-space: nowrap;
586 @ }
587 @
588 @ /* The footer at the very bottom of the page */
589 @ div.footer {
590 @ font-size: 0.8em;
@@ -606,20 +618,20 @@
618 @ </head>
619 @ <body>
620 @ <div class="header">
621 @ <div class="logo">
622 @ <img src="$home/logo" alt="logo">
623 @ <br />$<project_name>
624 @ </div>
625 @ <div class="title">$<title></div>
626 @ <div class="status"><th1>
627 @ if {[info exists login]} {
628 @ puts "Logged in as $login"
629 @ } else {
630 @ puts "Not logged in"
631 @ }
632 @ </th1></div>
633 @ </div>
634 @ <div class="mainmenu">
635 @ <th1>
636 @ html "<a href=''$home$index_page''>Home</a>\n"
637 @ if {[anycap jor]} {
@@ -682,10 +694,11 @@
694 @ div.logo {
695 @ display: table-cell;
696 @ text-align: right;
697 @ vertical-align: bottom;
698 @ font-weight: normal;
699 @ white-space: nowrap;
700 @ }
701 @
702 @ /* Widths */
703 @ div.header, div.mainmenu, div.submenu, div.content, div.footer {
704 @ max-width: 900px;
@@ -714,10 +727,11 @@
727 @ display: table-cell;
728 @ text-align: right;
729 @ vertical-align: bottom;
730 @ color: #333;
731 @ margin-right: -20px;
732 @ white-space: nowrap;
733 @ }
734 @
735 @ /* The main menu bar that appears at the top of the page beneath
736 @ ** the header */
737 @ div.mainmenu {
@@ -793,10 +807,11 @@
807 @ text-align: center;
808 @ color: white;
809 @ border-radius: 5px;
810 @ background-color: #446979;
811 @ box-shadow: 0px 3px 4px #333333;
812 @ white-space: nowrap;
813 @ }
814 @
815 @ /* The "Date" that occurs on the left hand side of timelines */
816 @ div.divider {
817 @ font-size: 1.2em;
@@ -869,20 +884,20 @@
884 @ </head>
885 @ <body>
886 @ <div class="header">
887 @ <div class="logo">
888 @ <img src="$home/logo" alt="logo">
889 @ <br />$<project_name>
890 @ </div>
891 @ <div class="title">$<title></div>
892 @ <div class="status"><th1>
893 @ if {[info exists login]} {
894 @ puts "Logged in as $login"
895 @ } else {
896 @ puts "Not logged in"
897 @ }
898 @ </th1></div>
899 @ </div>
900 @ <div class="mainmenu">
901 @ <th1>
902 @ html "<a href=''$home$index_page''>Home</a>\n"
903 @ if {[anycap jor]} {
@@ -955,10 +970,11 @@
970 @ text-align: center;
971 @ vertical-align: bottom;
972 @ font-weight: bold;
973 @ color: #558195;
974 @ min-width: 200px;
975 @ white-space: nowrap;
976 @ }
977 @
978 @ /* The page title centered at the top of each page */
979 @ div.title {
980 @ display: table-cell;
@@ -1159,17 +1175,17 @@
1175 @ <a href="$logourl">
1176 @ <img src="$baseurl/logo" border="0" alt="$project_name">
1177 @ </a>
1178 @ </div>
1179 @ <div class="title"><small>$<project_name></small><br />$<title></div>
1180 @ <div class="status"><th1>
1181 @ if {[info exists login]} {
1182 @ puts "Logged in as $login"
1183 @ } else {
1184 @ puts "Not logged in"
1185 @ }
1186 @ </th1></div>
1187 @ </div>
1188 @ <div class="mainmenu">
1189 @ <th1>
1190 @ html "<a href=''$home$index_page''>Home</a>\n"
1191 @ if {[anycap jor]} {
1192
M src/style.c
+1
--- src/style.c
+++ src/style.c
@@ -428,10 +428,11 @@
428428
 @ text-align: center;
429429
 @ vertical-align: bottom;
430430
 @ font-weight: bold;
431431
 @ color: #558195;
432432
 @ min-width: 200px;
433
+@ white-space: nowrap;
433434
 @ }
434435
 @
435436
 @ /* The page title centered at the top of each page */
436437
 @ div.title {
437438
 @ display: table-cell;
438439
--- src/style.c
+++ src/style.c
@@ -428,10 +428,11 @@
428 @ text-align: center;
429 @ vertical-align: bottom;
430 @ font-weight: bold;
431 @ color: #558195;
432 @ min-width: 200px;
 
433 @ }
434 @
435 @ /* The page title centered at the top of each page */
436 @ div.title {
437 @ display: table-cell;
438
--- src/style.c
+++ src/style.c
@@ -428,10 +428,11 @@
428 @ text-align: center;
429 @ vertical-align: bottom;
430 @ font-weight: bold;
431 @ color: #558195;
432 @ min-width: 200px;
433 @ white-space: nowrap;
434 @ }
435 @
436 @ /* The page title centered at the top of each page */
437 @ div.title {
438 @ display: table-cell;
439

Keyboard Shortcuts

Open search /
Next entry (timeline) j
Previous entry (timeline) k
Open focused entry Enter
Show this help ?
Toggle theme Top nav button