X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fgitweb-theme;a=blobdiff_plain;f=gitweb.css;h=c57d577b656d065a4320af69c4aff1168bdccafc;hp=1699b915e6d8363cfc08ed21ef4e9ed137c95500;hb=HEAD;hpb=cd2830765c02b13ab929f8909ba6bac472a40cf6 diff --git a/gitweb.css b/gitweb.css index 1699b91..65458de 100644 --- a/gitweb.css +++ b/gitweb.css @@ -99,6 +99,16 @@ td, th { display: none; } +#generating_info { + font-size: 10px; + color: #aaa; + text-align: center; +} + +#generating_time, #generating_cmd { + font-weight: bold; +} + /* Page Header ---------------------------------------------------------------------------- */ @@ -162,6 +172,10 @@ td, th { display: inline; float: left; margin-left: 25px; + width: 80%; + overflow: hidden; + white-space: nowrap; + text-overflow: ellipsis; } a.rss_logo { @@ -698,6 +712,38 @@ td.pre, div.pre, div.diff { white-space: pre-wrap; } +/* JavaScript-based timezone manipulation */ + +.popup { /* timezone selection UI */ + position: absolute; + /* "top: 0; right: 0;" would be better, if not for bugs in browsers */ + top: 0; left: 0; + border: 1px solid #d8d8d8; + padding: 2px; + background-color: #f0f0f0; + font-style: normal; + color: #545454; + cursor: auto; +} + +.close-button { /* close timezone selection UI without selecting */ + /* float doesn't work within absolutely positioned container, + * if width of container is not set explicitly */ + /* float: right; */ + position: absolute; + top: 0px; right: 0px; + border: 1px solid #ffaaaa; + margin: 1px 1px 1px 1px; + padding-bottom: 2px; + width: 12px; + height: 10px; + font-size: 9px; + font-weight: bold; + text-align: center; + background-color: #ffdddd; + cursor: pointer; +} + /* Style definition generated by highlight 2.4.5, http://www.andre-simon.de/ */ /* Highlighting theme definition: */