Diff: tools/AStyle_3.0.1_windows/doc/styles.css

Revision:

7:2c9c8b6a28a7

Parent:

6:aeb5a4c194c3

Child:

8:2b6bfa8d9e36

--- a/tools/AStyle_3.0.1_windows/doc/styles.css	Tue Mar 20 16:28:33 2018 +0300
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,36 +0,0 @@
-
-/* h1 is a title
- * h2 is a subtitle
- * h3 is a hanging text title
- * h4 is a non-hanging text title
- * p.noindent is non-hanging text (text without a title)
- * p.contents entries are for the table of contents
- * a.contents are table of contents links (not underlined)
- * a.links are links (underlined)
- * img does not have a border
- * pre is a predefined format for formatting code
- */
-
-/* margin: [top] [right] [bottom] [left] */
-
-body { background-color: white; margin: 0.5in 0.8in 0.5in 1.3in; }
-
-h1 { color: #0000A0; text-align: center; font-style: italic; margin-top: 0.4in; margin-left: -0.5in; }
-/* h2.large { color: #0000A0; text-align: center; font-size: x-large; margin-top: 0.4in; margin-left: -0.5in; } */
-h2 { color: #0000A0; text-align: center; font-size: larger; margin-top: 0.4in; margin-left: -0.5in; }
-h3 { color: #0000A0; margin-top: 0.4in; margin-left: -0.4in; }
-h4 { color: #0000A0; margin-top: 0.3in; }
-
-/* paragraph classes */
-.noindent { margin-left: -0.4in; }
-.contents1 { font-size: 105%; margin: 0; }
-.contents2 { margin: 0 0.4in 0 0.4in; }
-
-a.contents:link, a.contents:visited { color: #0000A0; text-decoration: none; }
-a.contents:hover { color: #F00000; text-decoration: none; }
-a:link, a:visited { color: #0000A0; text-decoration: underline; }
-a:hover { color: #F00000; text-decoration: underline; }
-
-img { border: none; }
-
-pre { margin-left: 0.3in; color: navy; font-weight: bold; }