2019-03-09 19:35:58 +01:00
|
|
|
# -*- mode: snippet -*-
|
2019-03-09 10:42:25 +01:00
|
|
|
# contributor : rejeep <johan.rejeep@gmail.com>
|
|
|
|
# name: padding: top right bottom left
|
2011-11-03 15:07:34 +01:00
|
|
|
# --
|
2019-03-09 19:35:58 +01:00
|
|
|
padding: ${top} ${right} ${bottom} ${left};
|