]> https://gitweb.dealii.org/ - dealii.git/commitdiff
add deprecated style
authorGuido Kanschat <dr.guido.kanschat@gmail.com>
Sun, 18 Jul 2010 19:54:18 +0000 (19:54 +0000)
committerGuido Kanschat <dr.guido.kanschat@gmail.com>
Sun, 18 Jul 2010 19:54:18 +0000 (19:54 +0000)
git-svn-id: https://svn.dealii.org/trunk@21527 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/screen.css

index 02033917e18cdcc7ea1b79717782408d2fb09477..edeebac807718b18f4c4f8813c55701135cee379 100644 (file)
@@ -228,16 +228,20 @@ td.build {
     background-color: #C030D0;
 }
 
-.attention {
-       color: #f00080;
-       font-weight: bold;
-}
-
 .weak {
        color: #808080;
        text-decoration: line-through;
 }
 
+.deprecated {
+       text-decoration: line-through;
+}
+
+.attention {
+       color: #f00080;
+       font-weight: bold;
+}
+
 .shout {
        color: #e000ff;
        text-decoration: blink;

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.