diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-01-17 14:36:58 +0100 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2017-01-31 14:32:38 +0100 |
commit | e77fe63f98099caca481f74f3613c5814fff3020 (patch) | |
tree | eaa0aa56a4187dd34e9caadd90d4e3c83cbd45d0 /docs | |
parent | 8f85e18db4ba2be95f39ff080e988e430222d310 (diff) | |
download | dotty-e77fe63f98099caca481f74f3613c5814fff3020.tar.gz dotty-e77fe63f98099caca481f74f3613c5814fff3020.tar.bz2 dotty-e77fe63f98099caca481f74f3613c5814fff3020.zip |
Implement remainder of type members
Diffstat (limited to 'docs')
-rw-r--r-- | docs/css/default.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/css/default.css b/docs/css/default.css index 6cd58a8b7..d01e81472 100644 --- a/docs/css/default.css +++ b/docs/css/default.css @@ -229,7 +229,7 @@ div.centered-table+p { } .red { - background: #de332e; + background: rgb(202, 68, 94); color: #fff; } |