From: Guido Kanschat Date: Sun, 18 Jul 2010 19:54:18 +0000 (+0000) Subject: add deprecated style X-Git-Tag: v8.0.0~5797 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0724bd950866ca1178e3229d68f26473954b9bbb;p=dealii.git add deprecated style git-svn-id: https://svn.dealii.org/trunk@21527 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/doc/screen.css b/deal.II/doc/screen.css index 02033917e1..edeebac807 100644 --- a/deal.II/doc/screen.css +++ b/deal.II/doc/screen.css @@ -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;