Bernhard Elsner d40f2493ab Docs style alignment (#8074) ... * Docs restyle WIP * Minor color changes * Adjust fonts and shadows * Remove redundant local contents * Further fixes to "In this Section" * Restyle previous and next buttons * Make visited link color blue * Top-level nav * Change how anchors are underlined * Fix header spacing * Improve tables * Improve search results * Improve copy button Match sphinx versions between dev-env and bazel * Copy button and code block fixes * Fix copy button z-index * Making things reactive * Make the title spacing work on mobile & tablet * Pixel adjustment for S3 hosting * Spacing and font-size fixes * Fix content menu for tablet * Tidy up menu indentation * Reorder Mobile Menu * Move unified nav up CHANGELOG_BEGIN [Docs] New styling CHANGELOG_END * Remove non-free fonts * Fix button padding * Fix spacing above first h2 * Fix pixel adjustment of h1 line * Fix menu click effects and antialiasing * Pixel adjust h1 line once more		2020-11-30 17:16:26 +00:00
..
certs	Remove custom truststore remains (#280)	2019-04-08 11:19:44 +02:00
nixpkgs	Update Bazel 2.1.0 --> 3.3.1 (#6761)	2020-07-23 09:46:04 +02:00
overrides	Reduce the number of GHCs in our nix closure (#4729)	2020-02-26 20:00:07 +01:00
tools	Upgrade sphinx-autobuild dependencies (#6318)	2020-06-11 20:56:41 +02:00
bazel-cc-toolchain.nix	Hermetic nixpkgs_cc_toolchain (#5976)	2020-05-18 18:03:51 +02:00
bazel.nix	Copy code button (#6508)	2020-06-29 12:34:40 +02:00
BUILD.bazel	replace DAML Authors with DA in copyright headers (#5228)	2020-03-27 01:26:10 +01:00
default.nix	Docs style alignment (#8074)	2020-11-30 17:16:26 +00:00
ghc.nix	Remove unused with-packages-wrapper (#6693)	2020-07-10 16:02:01 +00:00
grpc-Fix-gettid-naming-conflict.patch	Update Bazel 2.0.0 --> 2.1.0 (#5651)	2020-05-11 11:47:54 +02:00
grpc-Rename-gettid-functions.patch	Update Bazel 2.0.0 --> 2.1.0 (#5651)	2020-05-11 11:47:54 +02:00
nixpkgs.nix	upgrade to Scala 2.12.12 from 2.12.11 (#7661)	2020-10-13 08:42:14 -04:00