This is an automated email from the ASF dual-hosted git repository.
git-site-role pushed a commit to branch asf-site
in repository https://gitbox.apache.org/repos/asf/groovy-dev-site.git
The following commit(s) were added to refs/heads/asf-site by this push:
new 08991fe 2026/01/28 06:27:14: Generated dev website from
groovy-website@12f565e
08991fe is described below
commit 08991fe690d151cdaa6f59a984b84047cbabbcc5
Author: jenkins <[email protected]>
AuthorDate: Wed Jan 28 06:27:14 2026 +0000
2026/01/28 06:27:14: Generated dev website from groovy-website@12f565e
---
css/style.css | 2 +-
search.html | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/css/style.css b/css/style.css
index a0ee474..067b32f 100644
--- a/css/style.css
+++ b/css/style.css
@@ -1 +1 @@
-@import
url(./notosans.css);html,code,kbd,pre,samp{-ms-text-size-adjust:100%;-webkit-text-size-adjust:100%}html,body{height:100%;-webkit-overflow-scrolling:touch}p,ul,pre,h1,h2,h3,h4,h5,h6,h7,h8{margin:1em
0}p{display:block}h1,h2,h3,h4,h5,h6,h7,h8{font-weight:bold}pre{border-radius:0;border:0
!important;font-size:14px}.navbar{margin-bottom:0;padding-right:110px}.navbar
.container{margin:10px}.navbar-default a{color:#c0d3db
!important;font-size:18px !important;text-decoration:none}.navbar [...]
\ No newline at end of file
+@import
url(./notosans.css);html,code,kbd,pre,samp{-ms-text-size-adjust:100%;-webkit-text-size-adjust:100%}html,body{height:100%;-webkit-overflow-scrolling:touch}p,ul,pre,h1,h2,h3,h4,h5,h6,h7,h8{margin:1em
0}p{display:block}h1,h2,h3,h4,h5,h6,h7,h8{font-weight:bold}pre{border-radius:0;border:0
!important;font-size:14px}.navbar{margin-bottom:0;padding-right:110px}.navbar
.container{margin:10px}.navbar-default a{color:#c0d3db
!important;font-size:18px !important;text-decoration:none}.navbar [...]
\ No newline at end of file
diff --git a/search.html b/search.html
index a15a108..9e05f71 100644
--- a/search.html
+++ b/search.html
@@ -141,7 +141,7 @@
margin-top: 4px;
}
.gs-per-result-labels:before {
- font-family: FontAwesome;
+ font-family: "Font Awesome 7 Free";
content: '\f02c';
margin-right: 8px;
}
