diff --git a/doc/erlang.png b/doc/erlang.png new file mode 100644 index 0000000..14e7a89 Binary files /dev/null and b/doc/erlang.png differ diff --git a/doc/stylesheet.css b/doc/stylesheet.css new file mode 100644 index 0000000..1b0d6a5 --- /dev/null +++ b/doc/stylesheet.css @@ -0,0 +1,75 @@ +/* standard EDoc style sheet */ +body { + font-family: Verdana, Arial, Helvetica, sans-serif; + margin-left: .25in; + margin-right: .2in; + margin-top: 0.2in; + margin-bottom: 0.2in; + color: #696969; + background-color: #ffffff; +} +a:link{ + color: #000000; +} +a:visited{ + color: #000000; +} +a:hover{ + color: #d8613c; +} +h1,h2 { + margin-left: -0.2in; +} +div.navbar { + background-color: #000000; + padding: 0.2em; +} +h2.indextitle { + padding: 0.4em; + color: #dfdfdf; + background-color: #000000; +} +div.navbar a:link { + color: #dfdfdf; +} +div.navbar a:visited { + color: #dfdfdf; +} +div.navbar a:hover { + color: #d8613c; +} +h3.function,h3.typedecl { + background-color: #000000; + color: #dfdfdf; + padding-left: 1em; +} +div.spec { + margin-left: 2em; + background-color: #eeeeee; +} +a.module { + text-decoration:none +} +a.module:hover { + background-color: #eeeeee; +} +ul.definitions { + list-style-type: none; +} +ul.index { + list-style-type: none; + background-color: #eeeeee; +} + +/* + * Minor style tweaks + */ +ul { + list-style-type: square; +} +table { + border-collapse: collapse; +} +td { + padding: 3 +}