diff options
Diffstat (limited to 'semantic/src/themes/github/elements/header.variables')
| -rw-r--r-- | semantic/src/themes/github/elements/header.variables | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/semantic/src/themes/github/elements/header.variables b/semantic/src/themes/github/elements/header.variables deleted file mode 100644 index ae1da01..0000000 --- a/semantic/src/themes/github/elements/header.variables +++ /dev/null @@ -1,9 +0,0 @@ -/******************************* - Header -*******************************/ - -/*------------------- - Element ---------------------*/ - -@iconMargin: @4px; |