Project

General

Profile

Patch #44341 » topmenu_hover_full_height.patch

Vincent Robert, 2026-08-13 16:31

View differences:

app/assets/stylesheets/application.css
83 83
  padding-inline: 20px;
84 84
  display: flex;
85 85
  justify-content: space-between;
86
  align-items: center;
86
  align-items: stretch;
87
}
88

  
89
.general-menu {
90
  display: flex;
91
  margin-inline-start: -6px;
92
}
93

  
94
.profile-menu {
95
  display: flex;
96
  margin-inline-end: -6px;
97
}
98

  
99
#account .dropdown-trigger {
100
  padding-inline: 6px;
101
}
102

  
103
.top-menu__links, .top-menu__links li {
104
  display: flex;
87 105
}
88 106

  
89 107
.top-menu__links ul {
......
91 109
  padding: 0;
92 110
  display: flex;
93 111
  list-style-type: none;
94
  gap: 12px;
95 112
}
96 113

  
97 114
.top-menu__links a, .top-menu__links a:link, .top-menu__links a:visited {
......
101 118
  transform-origin: center;
102 119
}
103 120

  
121
.top-menu__links a {
122
  display: flex;
123
  align-items: center;
124
  gap: 4px;
125
  padding-block: 3px;
126
  padding-inline: 6px;
127
}
128

  
104 129
.top-menu__links a:hover {
105 130
    color: var(--oc-white);
106 131
    background-color: rgba(255, 255, 255, 0.12);
......
111 136
  stroke: var(--oc-white);
112 137
}
113 138

  
114
#account.top-menu__links {
115
  padding-block: 3px;
116
}
117

  
118 139
#account .dropdown-content .user-info {
119 140
  padding-block: 6px;
120 141
  padding-inline: 16px;
app/assets/themes/classic/stylesheets/application.css
56 56
h4 { border-block-end: dotted 1px #c0c0c0; }
57 57

  
58 58
#top-menu a.home, #top-menu a.my-page, #top-menu a.projects, #top-menu a.administration, #top-menu a.help {
59
    background-position: 0% 40%;
59
    background-position: 6px 40%;
60 60
    background-repeat: no-repeat;
61
    padding-inline-start: 20px;
61
    padding-inline-start: 26px;
62 62
    padding-block: 2px 3px;
63 63
}
64
[dir="rtl"] :is(#top-menu a.home, #top-menu a.my-page, #top-menu a.projects, #top-menu a.administration, #top-menu a.help) {background-position: right 0% top 40%;}
64
[dir="rtl"] :is(#top-menu a.home, #top-menu a.my-page, #top-menu a.projects, #top-menu a.administration, #top-menu a.help) {background-position: right 6px top 40%;}
65 65

  
66 66
#top-menu a.home { background-image: url(/themes/classic/home.png); }
67 67
#top-menu a.my-page { background-image: url(/user.png); }
(1-1/3)