Remove some !important that isn't, and add deprecated note to old CSS

2013-10-02 18:31:14 +01:00
parent 8ce09e84c6
commit b05b4437e5
3 changed files with 12 additions and 7 deletions
@@ -1,4 +1,5 @@
-/* There's probably some stuff in here we don't need, and maybe some missing stuff we do need.  We can clean it up incrementaly, just get the heavy lifting done for now */
+/*This file is deprecated.  We'll keep it for reference until we provide window decorations */
+

 aside {
 border-radius: $radiuspx;}