index
:
haddock.git
ghc-9.2
ghc-9.4
ghc-gitlab-ghc-9.2.2
ghc-gitlab-ghc-9.4.1
ghc-gitlab-ghc-9.4.1rc1
ghc-gitlab-ghc-head
master
Haddock with an org backend (haddorg).
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
html
/
Ocean.std-theme
/
ocean.css
Commit message (
Expand
)
Author
Age
Files
Lines
*
adjusted font sizes of auxilary pages per new scheme
Mark Lentczner
2010-08-13
1
-9
/
+5
*
more space between elements
Mark Lentczner
2010-08-13
1
-1
/
+1
*
removed underlining on hover for named anchors
Mark Lentczner
2010-08-13
1
-3
/
+3
*
adjusted margin to 2em, 1 wasn't enough
Mark Lentczner
2010-08-13
1
-2
/
+2
*
implemented YUI's CSS font approach
Mark Lentczner
2010-08-13
1
-24
/
+52
*
width and font changes
Mark Lentczner
2010-08-12
1
-14
/
+20
*
close arrows on expanded synopsis drawer
Mark Lentczner
2010-08-11
1
-2
/
+5
*
improved synopsis drawer: on click, not hover
Mark Lentczner
2010-07-30
1
-25
/
+23
*
styling source links on declarations
Mark Lentczner
2010-07-28
1
-0
/
+9
*
make info block and package bar links be floatable by placing them first in t...
Mark Lentczner
2010-07-28
1
-8
/
+8
*
apply margin changes to pre and headings as per group decision, and small cle...
Mark Lentczner
2010-07-27
1
-8
/
+5
*
give a class to empty dd elements so they can be hidden
Mark Lentczner
2010-07-27
1
-0
/
+4
*
move themes into html dir with .theme and .std-theme extensions
Mark Lentczner
2010-07-27
1
-0
/
+486