How to make vaadin theme avaliable in 7.1.0?

I use QuickTikets Dashboard’s theme in my project, and I changed my vaadin to Vaadin 7.1.0 form 7.0.0.
In 7.0.0, it works fine, but now I find it always warn me that [Requested resource
not found from filesystem or through class loader. Add widgetset and/or theme JAR to your classpath or add files to WebContent/VAADIN folder.], I have set productionMode = false, and I have read the page:, so I tried to translate it into CSS manually. theme exceptions again.

SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".

SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See for further details.
com.vaadin.sass.internal.expression.exception.ArithmeticException: Illegal arithmetic expression
at com.vaadin.sass.internal.expression.ArithmeticExpressionEvaluator.createExpression(
at com.vaadin.sass.internal.expression.ArithmeticExpressionEvaluator.evaluate(
at com.vaadin.sass.internal.tree.VariableNode.traverse(
at com.vaadin.sass.internal.ScssStylesheet.traverse(
at com.vaadin.sass.internal.ScssStylesheet.traverse(
at com.vaadin.sass.internal.ScssStylesheet.compile(
at com.vaadin.server.VaadinServlet.serveOnTheFlyCompiledScss(
at com.vaadin.server.VaadinServlet.serveStaticResourcesInVAADIN(
at com.vaadin.server.VaadinServlet.serveStaticResources(
at com.vaadin.server.VaadinServlet.service(
at javax.servlet.http.HttpServlet.service(
at org.apache.catalina.core.ApplicationFilterChain.internalDoFilter(
at org.apache.catalina.core.ApplicationFilterChain.doFilter(
at org.apache.catalina.core.StandardWrapperValve.invoke(
at org.apache.catalina.core.StandardContextValve.invoke(
at org.apache.catalina.authenticator.AuthenticatorBase.invoke(
at org.apache.catalina.core.StandardHostValve.invoke(
at org.apache.catalina.valves.ErrorReportValve.invoke(
at org.apache.catalina.valves.AccessLogValve.invoke(
at org.apache.catalina.core.StandardEngineValve.invoke(
at org.apache.catalina.connector.CoyoteAdapter.service(
at org.apache.coyote.http11.AbstractHttp11Processor.process(
at org.apache.coyote.AbstractProtocol$AbstractConnectionHandler.process(
at java.util.concurrent.ThreadPoolExecutor.runWorker(
at java.util.concurrent.ThreadPoolExecutor$
七月 02, 2013 11:35:13 上午 com.vaadin.server.VaadinServlet serveStaticResourcesInVAADIN
資訊: Requested resource
[/VAADIN/themes/dashboard/styles.css] not found from filesystem or through class loader. Add widgetset and/or theme JAR to your classpath or add files to WebContent/VAADIN folder.

How could I do now ?
Thanks in advance,

this thread
, where somebody else is trying to do the same thing. They got a step further and are now looking at the next issue.

Most Vaadin 7.0 themes should work practically as-is on Vaadin 7.1, but the theme of the dashboard has used some SASS features that require minor changes due to the added SASS arithmetics support (mostly happens with the “/” sign which can mean either division or be a separator for font sizes).

thanks ,it works fine now.