Rumperuu/footnotes
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Merge branch 'main' into automated-linting

Browse source
This commit is contained in:
Ben Goldsworthy 2021-04-15 15:07:27 +01:00 • committed by GitHub
commit 72d3078fa3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
30 changed files with 133 additions and 284 deletions
Download patch file Download diff file Expand all files Collapse all files

8
css/dev-tooltips.css
View file

@ -1,16 +1,8 @@
/*<?php for docblocks
/**
* Created by Stefan Herndler.
* User: Stefan
* Created-Date: 15.05.14
* Created-Time: 16:21
* Since: 1.0
*
* Additional stylesheet needed when tooltips (jQuery or alternative) are enabled.
*
* @version 2.5.8
* @lastmodified 2021-02-28T1302+0100
*
* System of unified minified style sheets tailored to the instance.
* @since 2.5.5
* @see full header in dev-common.css.