diff options
author | Jonathan Pryor <jpryor@novell.com> | 2008-10-31 06:52:38 +0300 |
---|---|---|
committer | Jonathan Pryor <jpryor@novell.com> | 2008-10-31 06:52:38 +0300 |
commit | 9530c5256847039bb3af8aa7e5cb10d4ea5f5051 (patch) | |
tree | 236290beb84b308f6db840b28de92f7132acbcb9 /docs/api-style.css | |
parent | 2809b0c7ffa6d65c25f22bd6b8012d8c3eb5244d (diff) | |
parent | 16a4b4fbc623648764ddde1d41d1ba5df10e1e93 (diff) |
* Makefile.am: Build `docs` after `runtime`, so that it can depend
upon mdoc.exe for it's operation.
* docs/. (svn:ignore), deploy (svn:ignore): Ignore generated files.
* docs/AgilityPack.dll, docs/api-style.css, docs/ChangeLog, docs/check,
docs/check-coverage, docs/convert.cs, docs/current-api, docs/deploy,
docs/documented, docs/exdoc, docs/ignore,
docs/mono-api-metadata.html, docs/monoapi.source, docs/produce-lists,
docs/public, docs/public-api, docs/README, docs/sources,
docs/toc.xml, docs/TODO, docs/wapi: Copy from ../mono/docscripts.
* docs/exdoc: Use the in-tree mono program to run convert.exe.
* docs/Makefile.am: Mention files to clean/distribute; extract
documentation (with exdoc) and then assemble documentation (with
monoapi.make's assemble target) for use by monodoc.
* docs/monoapi.make: Added; Makefile to use mcs' buid/rules.make to compile
convert.cs and assemble documentation. (This is a separate file so
that we can include mcs' build/rules.make, which needs topdir set to
behave properly BUT must be $(mcs_topdir) from Makefile.am's
perspective.)
* docs/monoapi.source: Add a /monodoc/node element for use with monodoc 2.2.
svn path=/trunk/mono/; revision=117529
Diffstat (limited to 'docs/api-style.css')
-rw-r--r-- | docs/api-style.css | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/docs/api-style.css b/docs/api-style.css new file mode 100644 index 00000000000..910ac49e55b --- /dev/null +++ b/docs/api-style.css @@ -0,0 +1,40 @@ + h3 { + font-size: 18px; + padding-bottom: 4pt; + border-bottom: 2px solid #dddddd; + } + + .api { + border: 1px solid; + padding: 10pt; + margin: 10pt; + } + + .api-entry { + border-bottom: none; + font-size: 18px; + } + + .prototype { + border: 1px solid; + background-color: #f2f2f2; + padding: 5pt; + margin-top: 5pt; + margin-bottom: 5pt; + } + + .header { + border: 1px solid; + padding: 0 0 5pt 5pt; + margin: 10pt; + white-space: pre; + font-family: monospace; + } + + .code { + border: 1px solid; + padding: 0 0 5pt 5pt; + margin: 10pt; + white-space: pre; + font-family: monospace; + } |