Move .css file into doc directory

Author: thomasspriggs

src/cbmc_style.css renamed to doc/assets/cbmc_style.css

@@ -1133,7 +1133,7 @@ HTML_STYLESHEET        =
 # list). For an example see the documentation.
 # This tag requires that the tag GENERATE_HTML is set to YES.
 
-HTML_EXTRA_STYLESHEET  = cbmc_style.css
+HTML_EXTRA_STYLESHEET  = ../doc/assets/cbmc_style.css
 
 # The HTML_EXTRA_FILES tag can be used to specify one or more extra images or
 # other source files which should be copied to the HTML output directory. Note