File tree Expand file tree Collapse file tree 5 files changed +83
-0
lines changed Expand file tree Collapse file tree 5 files changed +83
-0
lines changed Original file line number Diff line number Diff line change @@ -21,3 +21,6 @@ rebar3.crashdump
2121# Generated documentation html
2222doc /*
2323! doc /overview.edoc
24+
25+ # Generated website html
26+ site /* .html
Original file line number Diff line number Diff line change 1+ html {
2+ background : # fff ;
3+ }
4+
5+ body {
6+ color : # 111 ;
7+ font-family : Helvetica, sans-serif;
8+ margin : 0 auto;
9+ width : 66% ;
10+ padding : 1em ;
11+ }
12+
13+ header {
14+ border-bottom : 1px solid # 2f80ed ;
15+ margin-bottom : 3em ;
16+ }
17+
18+ h1 {
19+ color : # 333333 ;
20+ }
21+
22+ h2 , h3 {
23+ }
24+
25+ h4 {
26+ font-size : 1.2em ;
27+ color : # ae1037 ;
28+ }
29+
30+ code , .spec {
31+ font-family : 'Ubuntu Mono' , sans-serif;
32+ color : # ;
33+ background : # eee ;
34+ border : 1px dotted # 003846 ;
35+ }
36+ article div p code {
37+ background : inherit;
38+ border : inherit;
39+ color : inherit;
40+ }
41+
42+ nav {
43+ float : right;
44+ margin-top : -5em ;
45+ margin-left : 5em ;
46+ }
47+ nav ul li {
48+ float : left;
49+ list-style-type : none;
50+ width : 7.5em ;
51+ text-align : center;
52+ }
53+
54+ ul .definitions {
55+ list-style-type : none;
56+ }
57+
58+ .spec {
59+ margin-left : 1em ;
60+ border : 1px dotted # 6b8188 ;
61+ padding-left : 1em ;
62+ }
63+
64+ dl dt {
65+ font-weight : bold;
66+ }
67+
68+ a : link {color : # ae1037 ;} /* unvisited link */
69+ a : visited {color : # ae1037 ;} /* visited link */
70+ a : hover {color : # 333333 ;} /* mouse over link */
71+ a : active {color : # 333333 ;} /* selected link */
72+
73+ table , th , td {
74+ border : 1px solid # e4e4e4 ;
75+ padding : 0.3em ;
76+ }
77+
78+ img {
79+ max-width : 100% ;
80+ }
You can’t perform that action at this time.
0 commit comments