Merge branch 'main' into dev

Author: stefanscholz

.github/workflows/moodle-ci.yml

@@ -34,12 +34,6 @@ jobs:
           - php: '8.2'
             moodle-branch: 'MOODLE_405_STABLE'
             database: 'mariadb'
-          - php: '8.0'
-            moodle-branch: 'MOODLE_400_STABLE'
-            database: 'pgsql'
-          - php: '7.4'
-            moodle-branch: 'MOODLE_400_STABLE'
-            database: 'mariadb'
 
     steps:
       - name: Check out repository code

styles.css

@@ -136,8 +136,9 @@ body.local-learningtools.scrolled #goto-top-link,
 footer .btn-footer-popover {
     right: 5rem;
 }
+
 .jsenabled #page.drawers.show-drawer-right .learningtools-action-info .floating-button {
     bottom: 80px;
     right: calc(315px + 2rem);
     transition: 0.2s;
-}
+}