Changeset 3362


Ignore:
Timestamp:
Jul 10, 2009, 4:52:43 PM (14 years ago)
Author:
olle
Message:

Refs #595. Changes committed in changeset [3361]
reverted, as file www/static/css/menuh.css in client/servlet/
was modified by mistake.

Location:
trunk
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • trunk/api/core/src/org/proteios/core/Application.java

    r3361 r3362  
    8383   * characters are recommended.
    8484   */
    85   private static final String VERSION_MARKER = "dev";
     85  private static final String VERSION_MARKER = "";
    8686  /**
    8787   * The build number will be replaced during compilation. See the compile
  • trunk/client/servlet/www/static/css/menuh.css

    r3361 r3362  
    33#menuh-container { float: left }
    44
    5 /* Not directly visible */
    65#menuh
    76  {
     
    1413
    1514
    16 /* Not directly visible */
    1715#menuh a
    1816  {
     
    3028
    3129
    32 /* 0a. Top menu items in menu bar, both when mouse pointer over item (except disabled items) and not, if properties not over-ridden (2a., 3.) */
    33 /* Setting background color will affect the menu item background */
    3430#menuh a.top_parent { border-width: 1px; }
    3531
    36 /* Not directly visible */
    3732#menuh ul ul li a
    3833  {
     
    4035  }
    4136 
    42 /* 1a. First item in a menu, when mouse pointer not over it */
    43 /* Setting background color will affect the menu item background */
    4437#menuh ul ul a.first
    4538{
     
    4740}
    4841
    49 /* 1b. Last item in a menu, both when mouse pointer over item and not, if properties not over-ridden (1a., 2a.) */
    50 /* Setting background color will affect the menu item background */
    5142#menuh a.last
    5243{
     
    5546 
    5647 
    57 /* 2a. Non-first menu item, when mouse pointer not over it */
    58 /* Setting background color will affect the menu item background */
    5948#menuh a:link, #menuh a:visited, #menuh a:active  /* menu at rest */
    6049  {
     
    6352  }
    6453 
    65 /* 2b. Non-first menu item, when mouse pointer over it */
    66 /* Setting background color will affect the menu item background */
    6754#menuh a:hover  /* menu at mouse-over  */
    6855  {
     
    7057  }
    7158 
    72 /* 3. Top menu items in menu bar, both when mouse pointer over item and not */
    73 /* Setting background color will affect the menu item background */
    7459#menuh a.top_parent, #menuh a.top_parent:hover  /* attaches down-arrow to all top-parents */
    7560  {
     
    7964  }
    8065 
    81 /* 4. Hierachical menu item, both when mouse pointer over item and not, if properties not over-ridden (1a.) */
    82 /* Setting background color will affect the menu item background */
    8366#menuh a.parent, #menuh a.parent:hover  /* attaches side-arrow to all parents */
    8467  {
     
    8972
    9073
    91 /* 5. Sub-menu box, both for drop-down menu and hierarchical menu, if properties not over-ridden (6., 7., 8., 9.) */
    92 /* Setting background color will affect the menu box border */
    9374#menuh ul
    9475  {
     
    10081  }
    10182
    102 /* Not directly visible */
    10383#menuh li
    10484  {
     
    10989  }
    11090
    111 /* 6. Sub-menu box, both for drop-down menu and hierarchical menu, if properties not over-ridden (7., 8., 9.) */
    112 /* Setting background color will affect the menu box border */
    11391#menuh ul ul
    11492  {
     
    12199  }
    122100
    123 /* 7. Hierarchical sub-menu box, if properties not over-ridden by hierarchical sub-menu box settings (8., 9.) */
    124 /* Setting background color will affect the menu box border */
    125101#menuh ul ul ul
    126102  {
     
    129105  }
    130106
    131 /* Not directly visible */
    132107div#menuh li.hover
    133108  {
     
    136111  }
    137112
    138 /* 8. Hierarchical sub-menu box, if properties not over-ridden by sub-menu box settings (9.) */
    139 /* Setting background color will affect the menu box border */
    140113div#menuh li.hover ul ul,
    141114div#menuh li li.hover ul ul,
     
    144117{display:none;}
    145118
    146 /* 9. Sub-menu box, both for drop-down menu and hierarchical menu */
    147 /* Setting background color will affect borders of all menu boxes */
    148119div#menuh li.hover ul,
    149120div#menuh li li.hover ul,
Note: See TracChangeset for help on using the changeset viewer.