Re: www page background

[Zvezdan Petkovic]

I forgot to attach pinmenu.css to the previous message but that's fine
because I have a solution for the top navbar now. Looks good in
Konqueror this time (and Mozilla, Netscape, IE, and Lynx).

http://www.cs.wm.edu/~zvezdan/LyX/www-user/indext.html

Just don't ask me why "width: 99%" and not 100% -- those browser
differences :-(

You might want to make this one "position: fixed" too, but be warned
that you might need a <br /> after </div> because Mozilla hides the
title below the menu.

Cheers,
-- 
Zvezdan Petkovic <[EMAIL PROTECTED]>
http://www.cs.wm.edu/~zvezdan/

/*
 * Pinned menu CSS
 *
 * Borrowed from the idea of Bert Bos <[EMAIL PROTECTED]> published at:
 *     http://www.w3.org/Style/Examples/007/menus.html
 * and adjusted to work with Netscape 4.x, and better browsers as well.
 *
 * Usage:
 * <div class="pinmenu">
 * <p>Menu option</p>
 * ....
 * </div>
 * <div class="page">
 * Page text follows
 * </div>
 *
 * (C) 2001 Zvezdan Petkovic <[EMAIL PROTECTED]>
 */

div.pinmenuwide {
/*    
    font-size: 80%;
    font-weight: bold;
*/
    text-align: left;
    position: fixed;
    top: 1em;
    width: 12em;
    margin-left: 1em;
    margin-right: auto;
    /* everything below is needed because of Netscape 4.x only */
    float: left;
    color: rgb(238,238,238);
    background: rgb(53,99,144);
    padding: 0.2em 0.2em 1.2em 0.2em;
}

div.pinmenushort {
/*  
    font-size: 80%;
    font-weight: bold; 
*/
    text-align: left;
    position: fixed;
    top: 1em;
    width: 7em;
    margin-left: 1em;
    margin-right: auto;
    /* everything below is needed because of Netscape 4.x only */
    float: left;
    color: rgb(238,238,238);
    background: rgb(53,99,144);
    padding: 0.2em 0.2em 1.2em 0.2em;
}

div.pinmenutop {
    text-align: center;
    width: 99%;
    border: none;
    /* everything below is needed because of Netscape 4.x only */
    color: rgb(238,238,238);
    background: rgb(53,99,144);
    padding: 0.2em 0.2em 1.2em 0.2em;
}

div.pinmenuwide p {
    margin: 0;
    color: rgb(238,238,238);
    background: rgb(53,99,144);
    font-family: Verdana, Arial, Helvetica, sans-serif;
}

div.pinmenushort p {
    margin: 0;
    color: rgb(238,238,238);
    background: rgb(53,99,144);
    font-family: Verdana, Arial, Helvetica, sans-serif;
}

div.pinmenutop p {
    margin: 0;
    color: rgb(238,238,238);
    background: rgb(53,99,144);
    font-family: Verdana, Arial, Helvetica, sans-serif;
}

div.page {
    margin-left: 15em; /* change according to menu */
}

div.page-wide {
    margin-left: 9em; /* change according to menu */
}

div.pinmenuwide a:hover {
    color: rgb(235,188,94);
    background: rgb(36,62,108);
}

div.pinmenushort a:hover {
    color: rgb(235,188,94);
    background: rgb(36,62,108);
}

a:hover {
    color: rgb(235,188,94);
    background: rgb(36,62,108);
}

.right {
    text-align: right;
}

.rfloat {
    float: right;
}