MIDI/midi-php
7
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

仓库初始化

Browse Source
This commit is contained in:
赵钊
2025-08-13 10:43:56 +08:00
commit e8f9b46680
5180 changed files with 859303 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

34
public/assets/less/tinycss.less Normal file
View File

@@ -0,0 +1,34 @@
.make-margin-padding(margin, m, 5px, 4);
.make-margin-padding(padding, p, 5px, 4);
.make-margin-padding(@type, @prefix, @space, @i) when (@i >= 0) {
.make-margin-padding(@type, @prefix, @space, @i - 1);
@pixel: @space * @i;
.@{prefix}-@{i} {
@{type}-top: @pixel !important;
@{type}-right: @pixel !important;
@{type}-bottom: @pixel !important;
@{type}-left: @pixel !important;
}
.@{prefix}t-@{i} {
@{type}-top: @pixel !important;
}
.@{prefix}r-@{i} {
@{type}-right: @pixel !important;
}
.@{prefix}b-@{i} {
@{type}-bottom: @pixel !important;
}
.@{prefix}l-@{i} {
@{type}-left: @pixel !important;
}
.@{prefix}x-@{i} {
@{type}-left: @pixel !important;
@{type}-right: @pixel !important;
}
.@{prefix}y-@{i} {
@{type}-top: @pixel !important;
@{type}-bottom: @pixel !important;
}
}