pass extension option to plugin

This commit is contained in:
Philipp Kühn
2018-09-05 22:09:18 +02:00
parent 82c956dfe9
commit 20a7a490e9
3 changed files with 31 additions and 26 deletions

View File

@@ -169,15 +169,6 @@
}
}
.mention {
background: rgba($color-black, 0.1);
color: rgba($color-black, 0.6);
font-size: 0.8rem;
font-weight: bold;
border-radius: 5px;
padding: 0.2rem 0.5rem;
}
ul[data-type="todo_list"] {
padding-left: 0;
}