rounded-main-menu-corners.patch

Anonymous, 2019-09-04 18:52

Download (1021 Bytes)

View differences:

public/stylesheets/application.css (working copy)
52 52
  margin: 0;
53 53
  padding: 4px 10px 4px 10px;
54 54
}
55
#main-menu li a:hover {background:#759FCF; color:#fff;}
55
#main-menu li a:hover {background:#759FCF; color:#fff;border-top-left-radius: 3px; border-top-right-radius: 3px;}
56 56
#main-menu li:hover ul.menu-children, #main-menu li ul.menu-children.visible {display: block;}
57
#main-menu li a.selected, #main-menu li a.selected:hover {background:#fff; color:#555;}
58
#main-menu li a.new-object { background-color:#759FCF; }
57
#main-menu li a.selected, #main-menu li a.selected:hover {background:#fff; color:#555; border-top-left-radius: 3px; border-top-right-radius: 3px;}
58
#main-menu li a.new-object { background-color:#759FCF; border-top-left-radius: 3px; border-top-right-radius: 3px;}
59 59

  
60 60
#main-menu .menu-children {
61 61
  display: none;