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; } |