Index: src/skins.c
==================================================================
--- src/skins.c
+++ src/skins.c
@@ -44,10 +44,11 @@
@ font-size: 2em;
@ font-weight: bold;
@ background-color: #707070;
@ color: #ffffff;
@ min-width: 200px;
+@ white-space: nowrap;
@ }
@
@ /* The page title centered at the top of each page */
@ div.title {
@ display: table-cell;
@@ -67,10 +68,11 @@
@ vertical-align: bottom;
@ color: #404040;
@ font-size: 0.8em;
@ font-weight: bold;
@ min-width: 200px;
+@ white-space: nowrap;
@ }
@
@ /* The header across the top of the page */
@ div.header {
@ display: table;
@@ -125,10 +127,11 @@
@ padding: 1px 1px 1px 1px;
@ font-size: 1.2em;
@ font-weight: bold;
@ background-color: #404040;
@ color: white;
+@ white-space: nowrap;
@ }
@
@ /* The "Date" that occurs on the left hand side of timelines */
@ div.divider {
@ background: #a0a0a0;
@@ -136,10 +139,11 @@
@ font-size: 1em; font-weight: normal;
@ padding: .25em;
@ margin: .2em 0 .2em 0;
@ float: left;
@ clear: left;
+@ white-space: nowrap;
@ }
@
@ /* The footer at the very bottom of the page */
@ div.footer {
@ font-size: 0.8em;
@@ -166,17 +170,17 @@
@ media="screen">
@ </head>
@ <body>
@ <div class="header">
@ <div class="title"><small>$<project_name></small><br />$<title></div>
-@ <div class="status"><nobr><th1>
+@ <div class="status"><th1>
@ if {[info exists login]} {
@ puts "Logged in as $login"
@ } else {
@ puts "Not logged in"
@ }
-@ </th1></nobr></div>
+@ </th1></div>
@ </div>
@ <div class="mainmenu">
@ <th1>
@ html "<a href=''$home$index_page''>Home</a>\n"
@ if {[anycap jor]} {
@@ -235,10 +239,11 @@
@ text-align: center;
@ vertical-align: bottom;
@ font-weight: bold;
@ font-size: 2.5em;
@ color: #a09048;
+@ white-space: nowrap;
@ }
@
@ /* The page title centered at the top of each page */
@ div.title {
@ display: table-cell;
@@ -258,10 +263,11 @@
@ vertical-align: bottom;
@ color: #a09048;
@ padding: 5px 5px 0 0;
@ font-size: 0.8em;
@ font-weight: bold;
+@ white-space: nowrap;
@ }
@
@ /* The header across the top of the page */
@ div.header {
@ display: table;
@@ -316,10 +322,11 @@
@ padding: 3px 3px 0 3px;
@ font-size: 1.2em;
@ font-weight: bold;
@ background-color: #a09048;
@ color: white;
+@ white-space: nowrap;
@ }
@
@ /* The "Date" that occurs on the left hand side of timelines */
@ div.divider {
@ background: #e1d498;
@@ -327,10 +334,11 @@
@ font-size: 1em; font-weight: normal;
@ padding: .25em;
@ margin: .2em 0 .2em 0;
@ float: left;
@ clear: left;
+@ white-space: nowrap;
@ }
@
@ /* The footer at the very bottom of the page */
@ div.footer {
@ font-size: 0.8em;
@@ -370,18 +378,18 @@
@ </head>
@ <body>
@ <div class="header">
@ <div class="title">$<title></div>
@ <div class="status">
-@ <div class="logo"><nobr>$<project_name></nobr></div><br/>
-@ <nobr><th1>
+@ <div class="logo">$<project_name></div><br/>
+@ <th1>
@ if {[info exists login]} {
@ puts "Logged in as $login"
@ } else {
@ puts "Not logged in"
@ }
-@ </th1></nobr></div>
+@ </th1></div>
@ </div>
@ <div class="mainmenu">
@ <th1>
@ html "<a href=''$home$index_page''>Home</a>\n"
@ if {[anycap jor]} {
@@ -448,10 +456,11 @@
@ display: table-cell;
@ text-align: left;
@ vertical-align: bottom;
@ font-weight: bold;
@ color: #333;
+@ white-space: nowrap;
@ }
@
@ /* The page title centered at the top of each page */
@ div.title {
@ display: table-cell;
@@ -471,10 +480,11 @@
@ vertical-align: bottom;
@ padding-bottom: 5px;
@ color: #333;
@ font-size: 0.8em;
@ font-weight: bold;
+@ white-space: nowrap;
@ }
@
@ /* The header across the top of the page */
@ div.header {
@ margin:10px 0px 10px 0px;
@@ -557,10 +567,11 @@
@ border-style:solid;
@ border-color:#999;
@ border-width:1px 0px;
@ background-color: #eee;
@ color: #333;
+@ white-space: nowrap;
@ }
@
@ /* The "Date" that occurs on the left hand side of timelines */
@ div.divider {
@ background: #eee;
@@ -568,11 +579,12 @@
@ font-size: 1em; font-weight: normal;
@ padding: .25em;
@ margin: .2em 0 .2em 0;
@ float: left;
@ clear: left;
-@ color: #333
+@ color: #333;
+@ white-space: nowrap;
@ }
@
@ /* The footer at the very bottom of the page */
@ div.footer {
@ font-size: 0.8em;
@@ -606,20 +618,20 @@
@ </head>
@ <body>
@ <div class="header">
@ <div class="logo">
@ <img src="$home/logo" alt="logo">
-@ <br /><nobr>$<project_name></nobr>
+@ <br />$<project_name>
@ </div>
@ <div class="title">$<title></div>
-@ <div class="status"><nobr><th1>
+@ <div class="status"><th1>
@ if {[info exists login]} {
@ puts "Logged in as $login"
@ } else {
@ puts "Not logged in"
@ }
-@ </th1></nobr></div>
+@ </th1></div>
@ </div>
@ <div class="mainmenu">
@ <th1>
@ html "<a href=''$home$index_page''>Home</a>\n"
@ if {[anycap jor]} {
@@ -682,10 +694,11 @@
@ div.logo {
@ display: table-cell;
@ text-align: right;
@ vertical-align: bottom;
@ font-weight: normal;
+@ white-space: nowrap;
@ }
@
@ /* Widths */
@ div.header, div.mainmenu, div.submenu, div.content, div.footer {
@ max-width: 900px;
@@ -714,10 +727,11 @@
@ display: table-cell;
@ text-align: right;
@ vertical-align: bottom;
@ color: #333;
@ margin-right: -20px;
+@ white-space: nowrap;
@ }
@
@ /* The main menu bar that appears at the top of the page beneath
@ ** the header */
@ div.mainmenu {
@@ -793,10 +807,11 @@
@ text-align: center;
@ color: white;
@ border-radius: 5px;
@ background-color: #446979;
@ box-shadow: 0px 3px 4px #333333;
+@ white-space: nowrap;
@ }
@
@ /* The "Date" that occurs on the left hand side of timelines */
@ div.divider {
@ font-size: 1.2em;
@@ -869,20 +884,20 @@
@ </head>
@ <body>
@ <div class="header">
@ <div class="logo">
@ <img src="$home/logo" alt="logo">
-@ <br /><nobr>$<project_name></nobr>
+@ <br />$<project_name>
@ </div>
@ <div class="title">$<title></div>
-@ <div class="status"><nobr><th1>
+@ <div class="status"><th1>
@ if {[info exists login]} {
@ puts "Logged in as $login"
@ } else {
@ puts "Not logged in"
@ }
-@ </th1></nobr></div>
+@ </th1></div>
@ </div>
@ <div class="mainmenu">
@ <th1>
@ html "<a href=''$home$index_page''>Home</a>\n"
@ if {[anycap jor]} {
@@ -955,10 +970,11 @@
@ text-align: center;
@ vertical-align: bottom;
@ font-weight: bold;
@ color: #558195;
@ min-width: 200px;
+@ white-space: nowrap;
@ }
@
@ /* The page title centered at the top of each page */
@ div.title {
@ display: table-cell;
@@ -1159,17 +1175,17 @@
@ <a href="$logourl">
@ <img src="$baseurl/logo" border="0" alt="$project_name">
@ </a>
@ </div>
@ <div class="title"><small>$<project_name></small><br />$<title></div>
-@ <div class="status"><nobr><th1>
+@ <div class="status"><th1>
@ if {[info exists login]} {
@ puts "Logged in as $login"
@ } else {
@ puts "Not logged in"
@ }
-@ </th1></nobr></div>
+@ </th1></div>
@ </div>
@ <div class="mainmenu">
@ <th1>
@ html "<a href=''$home$index_page''>Home</a>\n"
@ if {[anycap jor]} {
Index: src/style.c
==================================================================
--- src/style.c
+++ src/style.c
@@ -428,10 +428,11 @@
@ text-align: center;
@ vertical-align: bottom;
@ font-weight: bold;
@ color: #558195;
@ min-width: 200px;
+@ white-space: nowrap;
@ }
@
@ /* The page title centered at the top of each page */
@ div.title {
@ display: table-cell;