]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Fixed WB comment. Removed temporaryly the random new style.
authorLuca Heltai <luca.heltai@sissa.it>
Thu, 10 May 2018 12:16:57 +0000 (14:16 +0200)
committerMatthias Maier <tamiko@43-1.org>
Fri, 11 May 2018 14:41:25 +0000 (09:41 -0500)
doc/doxygen/scripts/program2doxygen
doc/doxygen/stylesheet.css

index 054f63ce0cf8e4a6aa5d8b581f2ff65953d0cab4..f2c27cda77abbd87add569114aabcfc5c233cb23 100644 (file)
@@ -55,7 +55,7 @@ do {
         }
         $state = $code_fragment_mode;
         # Make sure we distinguish from the other code style
-        print " * <div class=inlineddealii>\n";
+        print " * <div class=CodeFragmentInTutorialComment>\n";
     }
     # We shall skip something...
     elsif (($state != $skip_mode) && m!^\s*//\s*\@cond SKIP!)
index 1af448ac6f12037cdcdd7cbbbca74540c5e05d17..b6b49bffdce71a867705cf0404ef93ddec7ca12f 100644 (file)
@@ -84,8 +84,8 @@ div.image img[src="fe_enriched_h-refinement.png"] {
 
 
 /*
- * environment for custom codes
+ * environment for code fragments in tutorial comments
  */
-.inlineddealii {
-    background-color: #FF33F0;
+.CodeFragmentInTutorialComment {
+    /* background-color: #FF33F0; */
 }

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.