git.iko.soy/typeable/pandoc
on master help sign in
Removed some unnecessary files from web directory.

git-svn-id: https://pandoc.googlecode.com/svn/trunk@700 788f1e2b-df1e-0410-8736-df70ead52e1b

commit36f67df37108ad688a3c738c61f47260d926c0e6 authorfiddlosopher <fiddlosopher@788f1e2b-df1e-0410-8736-df70ead52e1b> dateSat 14 Jul 2007, 06:38 (19 years ago) parent9a96429
5 files changed−271
compare with master
unifiedsplit
web/css−3 web/features.txt−28 web/header.html−13 web/main.css−177 web/print.css−50
web/cssdeleted−3
@@ -1,3 +0,0 @@
1−<link rel="stylesheet" type="text/css" href="main.css" media="all">
2−<link rel="stylesheet" type="text/css" href="print.css" media="print">
3−
web/features.txtdeleted−28
@@ -1,28 +0,0 @@
1−% Pandoc features
2−
3−- A real markdown parser, not based on regex substitutions.
4−- [More accurate] and [faster], in many cases, than `Markdown.pl`.
5−- Multiple output formats--HTML, Docbook XML, LaTeX, reStructuredText,
6− RTF, groff man pages, S5 slide shows--generated natively,
7− with no XSLT postprocessing.
8−- Converts *to* markdown from HTML, LaTeX, and reStructuredText.
9−- Unicode support.
10−- Optional "smart" quotes, dashes, and ellipses.
11−- Document metadata (title, author, date).
12−- Inline LaTeX math and LaTeX commands.
13−- [ASCIIMathML] support for equations in HTML.
14−- Footnotes, tables, and definition lists in all output formats.
15−- Automatically generated tables of contents.
16−- Compatibility mode to turn off syntax entensions and emulate
17− `Markdown.pl`.
18−- Convenient wrapper scripts:
19− + `html2markdown` makes it easy to produce a markdown version
20− of any web page.
21− + `markdown2pdf` converts markdown to PDF in one step.
22− + `hsmarkdown` is a drop-in replacement for `Markdown.pl`.
23−- Multi-platform: runs on Windows, MacOS X, Linux, Unix.
24−
25−[More accurate]: http://code.google.com/p/pandoc/wiki/PandocVsMarkdownPl
26−[faster]: http://code.google.com/p/pandoc/wiki/Benchmarks
27−[ASCIIMathML]: http://www1.chapman.edu/~jipsen/mathml/asciimath.html
28−
web/header.htmldeleted−13
@@ -1,13 +0,0 @@
1−<div id="sidebar">
2−<ul>
3−<li><a href="index.html" title="Home page">Home</a></li>
4−<li><a href="features.html" title="Pandoc features">Features</a></li>
5−<li><a href="examples.html" title="Pandoc demos">Examples</a></li>
6−<li><a href="README.html" title="Pandoc user's guide">User&rsquo;s Guide</a></li>
7−<li><a href="doc/index.html" title="API documentation for Pandoc libraries">API Docs</a></li>
8−<li><a href="changelog.html" title="Pandoc's changelog">Changelog</a></li>
9−</ul>
10−</div>
11−<div id="main" class="withleftmenu">
12−
13−
web/main.cssdeleted−177
@@ -1,177 +0,0 @@
1−body {
2− margin:0;
3− padding:0;
4− background-color: white;
5− color: black;
6− font-family: Verdana, sans-serif;
7− font-size: 100%;
8− line-height: 130%;
9− color: #333;
10−}
11−pre {
12− border: 1px dotted gray;
13− background-color: #ececec;
14− color: #1111111;
15− padding: 0.5em;
16−}
17−code {
18− font-family: monospace;
19− font-size: 110%;
20−}
21−h1, h2, h3, h4, h5 { font-family: verdana;
22− font-weight: bold;
23− color: #7a5ada; }
24−h1 {
25− font-size: 130%;
26−}
27−
28−h2 {
29− font-size: 110%;
30−}
31−
32−h3 {
33− font-size: 95%;
34−}
35−
36−h4 {
37− font-size: 90%;
38− font-style: italic;
39−}
40−
41−h5 {
42− font-size: 90%;
43− font-style: italic;
44−}
45−
46−h1.title {
47− font-size: 160%;
48− font-weight: bold;
49− padding-top: 0.2em;
50− padding-bottom: 0.2em;
51− text-align: left;
52−}
53−
54−p {
55− padding:0;
56−}
57−table {
58− border: none;
59−}
60−
61−tr {
62− border: none;
63−}
64−
65−td {
66− border: none;
67−}
68−
69−dt {
70− font-weight: bold;
71− padding-top: 7pt;
72−}
73−#header {
74− margin: 1em 0.8em 0.5em 2.2em;
75−}
76−#header h2 a, h3 a { text-decoration: none;
77− color: #333;
78−}
79−#header h1 a { text-decoration: none;
80− color: #7a5ada; }
81−#header h1 {
82− font-size: 180%;
83− font-weight: bold;
84− margin: 0;
85− padding-bottom: 0.3em;
86−}
87−#header h2 {
88− font-size: 120%;
89− font-weight: normal;
90− margin: 0;
91− color: #333;
92− padding-bottom: 0.1em;
93−}
94−#header h3 {
95− font-size: 95%;
96− font-weight: normal;
97− margin: 0;
98− color: #333;
99− padding-bottom: 0.3em;
100−}
101−#footer {
102− clear: left;
103− padding: 0.8em;
104− text-align: center;
105− font-size: 80%;
106−}
107−#footer p {
108− padding:0;
109− margin:0;
110−}
111−#footer hr.footer {
112− display: none;
113− padding: 1em;
114−}
115−#sidebar {
116− float:left;
117− clear: left;
118− margin-left: 0;
119− margin-bottom: 1.4em;
120− margin-right: 0.1em;
121−}
122−
123−#sidebar h2, #sidebar h3, #sidebar p {
124− padding:0 0.7em;
125−}
126−#sidebar ul {
127− color:#336666;
128− padding-left:2em;
129− margin-bottom:0;
130− width: 8em;
131−}
132−#sidebar li {
133− font-family: verdana;
134− font-size: 100%;
135− font-style: normal;
136− list-style-type: none;
137− border-bottom: 1px solid white;
138− border-left: 1px solid white;
139−}
140−#sidebar li:hover {
141− border-bottom: 1px solid #7a5ada;
142− border-left: 1px solid #7a5ada;
143−}
144−#sidebar li a {
145− display: block;
146− padding: 0.2em;
147− line-height: 1.6em;
148− font-weight: bold;
149− text-decoration: none;
150− color: #7a5ada;
151−}
152−#main {
153− margin-top: 1em;
154− margin-bottom: 1em;
155− padding-right: 1em;
156− padding-left: 1em;
157− max-width: 42em;
158− border: 1px solid gray;
159−}
160−#main.withleftmenu {
161− margin-left: 10em;
162−}
163−
164−div.clear { clear: both;
165− padding-top: 0.2em; }
166−
167−.floatleft {
168− float: left;
169− padding-right: 2em;
170−}
171−.floatright {
172− float: right;
173− padding-left: 2em;
174−}
175−
176−#header h1 { padding-bottom: 0.8em; }
177−
web/print.cssdeleted−50
@@ -1,50 +0,0 @@
1−body {
2− margin: 0.5in;
3− padding: 0;
4− font-size: 10pt;
5− line-height: 14pt;
6−}
7−h1 {
8− color: black;
9−}
10−
11−h2 {
12− color: black;
13−}
14−
15−h3 {
16− color: black;
17−}
18−
19−h4 {
20− color: black;
21−}
22−
23−h5 {
24− color: black;
25−}
26−#sidebar {
27− display: none;
28−}
29−#header {
30− margin-top:0;
31− margin-left:0;
32− margin-right:0;
33− margin-bottom:0.3in;
34− padding:0;
35−}
36−#footer {
37− display: none;
38−}
39−#main {
40− margin:0;
41− padding:0;
42− border-left: none;
43− width: 100%;
44−}
45−#main.document {
46− margin-left: 0;
47−}
48−#main.withleftmenu {
49− margin-left: 0;
50−}