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
*
fix broken header link margins
Mark Lentczner
2010-08-27
1
-1
/
+1
*
fixed CSS for ordered lists and def lists in doc blocks
Mark Lentczner
2010-08-26
1
-5
/
+23
*
fix occasional v.scroll bars on pre blocks (I think)
Mark Lentczner
2010-08-25
1
-1
/
+1
*
fix small layout issues
Mark Lentczner
2010-08-20
1
-3
/
+4
*
better synopsis handling logic - no flashing
Mark Lentczner
2010-08-20
1
-0
/
+5
*
margin fiddling
Mark Lentczner
2010-08-18
1
-11
/
+6
*
layout tweeks - mini page font size, toc color, etc.
Mark Lentczner
2010-08-18
1
-10
/
+9
*
don't collapse entries in module list when clicking on links
Mark Lentczner
2010-08-17
1
-4
/
+5
*
clean up collapser logics
Mark Lentczner
2010-08-17
1
-29
/
+17
*
font size and margin tweaks
Mark Lentczner
2010-08-16
1
-11
/
+21
*
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