Remove developer documentation, almost untouched in over 7 years

[vlc] / doc / developer / screen.css

diff --git a/doc/developer/screen.css b/doc/developer/screen.css
deleted file mode 100644 (file)
index 98b11f0..0000000
--- a/doc/developer/screen.css
+++ /dev/null
@@ -1,31 +0,0 @@
-/* screen.css\r
-*/\r
-\r
-a:link          {color: blue; text-decoration: underline}\r
-a:active        {color: red; text-decoration: underline}\r
-a:visited       {color: darkblue; text-decoration: underline}\r
-\r
-body            {font-family: "Verdana", Georgia, Times; font-size: 1em; color: #000000; background-color: #FFFFFF; margin: 1em 1em 1em 1em;}\r
-h1              {font-size: 1.4em; margin: 0em 0em 0em 0em;}\r
-h2              {font-size: 1.2em; margin: 0em 0em 0em 0em;}\r
-h3              {font-size: 1em; margin: 0em 0em 0em 0em;}\r
-h4              {font-size: 1em; margin: 0em 0em 0em 0em;}\r
-h5              {font-size: 1em; margin: 0em 0em 0em 0em;}\r
-p               {font-size: 1em; margin: 0em 0em 0.5em 0em;}\r
-tt              {font-family: "Courier New"; font-weight: bold;}\r
-hr             {height: 1px;}\r
-\r
-.navheader      {}\r
-/* .navfooter      {} */\r
-.revhistory table { border: none; padding: 0px 0px 0px 0px; margin: 1em 0em 1em 0em;}\r
-.revhistory th { border: none; padding: 0px 0px 0px 0px        ;}\r
-.revhistory td { border: none; padding: 0px 0px 0px 0px        ;}\r
-.note { border: 1px solid #CCCC99; background-color: #F5F5E7; padding: 0.5em 0.5em 0.5em 0.5em; margin: 1em 0em 1em 0em; }\r
-.caution { border: 1px solid #F6EA00; background-color: #FFFFC9; padding: 0.5em 0.5em 0.5em 0.5em;  margin: 1em 0em 1em 0em;}\r
-.tipp { background-color: #F5F5DC }\r
-.important { font-family: "Courier New"; font-size: 0.8em; border: 1px solid #F95E00; background-color: #F9CDB3; padding: 0.5em 0.5em 0.5em 0.5em; margin: 2em 0em 2em 0em;}\r
-.screen { font-family: "Courier New"; font-size: 0.8em; border: 1px solid #999999; background-color: #EBEBEB; padding: 0.5em 0.5em 0.5em 0.5em; margin: 2em 0em 2em 0em;}\r
-.programlisting { font-family: "Courier New"; font-size: 0.8em; border: 1px solid #B2DBFF; background-color: #F0F8FF; padding: 0.5em 0.5em 0.5em 0.5em; margin: 2em 0em 2em 0em;}\r
-.important .programlisting { font-family: "Courier New"; font-size: 1em; border: 1px solid #B2DBFF; background-color: #F0F8FF; padding: 0.5em 0.5em 0.5em 0.5em; margin: 2em 0em 2em 0em;}\r
-.important .screen { font-family: "Courier New"; font-size: 1em; border: 1px solid #999999; background-color: #EBEBEB; padding: 0.5em 0.5em 0.5em 0.5em; margin: 2em 0em 2em 0em;}\r
-.informalexample { font-family: "Courier New"; font-size: 0.8em; border: 1px solid #B2DBFF; background-color: #F0F8FF; padding: 0.5em 0.5em 0.5em 0.5em; margin: 2em 0em 2em 0em;}\r