site: publish only what's needed from the theme.

diff --git a/site/publishconf.py b/site/publishconf.py
index 1653b6643913da909a84d51745c8da87864b0a30..4ddb960b78c7af848981ac792726249ef9419088 100644 (file)
--- a/site/publishconf.py
+++ b/site/publishconf.py
@@ -34,3 +34,4 @@ DELETE_OUTPUT_DIRECTORY = True
 
 CSS_FILES = ['https://fonts.googleapis.com/css?family=Source+Code+Pro:400,400i,600%7CSource+Sans+Pro:400,400i,600,600i&subset=latin-ext',
              'static/m-dark.compiled.css']
+THEME_STATIC_PATHS = ['static/m-dark.compiled.css']