From d1997764cf693bb392a2722b585c4fe2b94583db Mon Sep 17 00:00:00 2001 From: Francis Lavoie Date: Wed, 26 Feb 2020 15:52:16 -0500 Subject: [PATCH] docs: Improve dark theme warning aside (#12) Also wrapped @id with backticks to make it look a bit nicer --- src/docs/markdown/api.md | 6 +++--- src/resources/css/docs.css | 12 ++++++++++++ 2 files changed, 15 insertions(+), 3 deletions(-) diff --git a/src/docs/markdown/api.md b/src/docs/markdown/api.md index 413d386..ce7791d 100644 --- a/src/docs/markdown/api.md +++ b/src/docs/markdown/api.md @@ -35,7 +35,7 @@ To get started with the API, try our [API tutorial](/docs/api-tutorial) or, if y - **[DELETE /config/[path]](#delete-configpath)** Deletes the value at the named path -- **[Using @id in JSON](#using-id-in-json)** +- **[Using `@id` in JSON](#using-id-in-json)** Easily traverse into the config structure @@ -194,11 +194,11 @@ To stop only one of your HTTP servers:
curl -X DELETE "http://localhost:2019/config/apps/http/servers/myserver"
-## Using @id in JSON +## Using `@id` in JSON You can embed IDs in your JSON document for easier direct access to those parts of the JSON. -Simply add a field called "@id" to an object and give it a unique name. For example, if you had a reverse proxy handler that you wanted to access frequently: +Simply add a field called `"@id"` to an object and give it a unique name. For example, if you had a reverse proxy handler that you wanted to access frequently: ```json { diff --git a/src/resources/css/docs.css b/src/resources/css/docs.css index 22c3635..ff6b362 100644 --- a/src/resources/css/docs.css +++ b/src/resources/css/docs.css @@ -720,6 +720,18 @@ td code { border-color: #08575a; } + article aside.warning { + border-top-color: #462e00; + color: #e1973b; + background: -webkit-radial-gradient(top left, #462e00, transparent 65%); + background: -moz-radial-gradient(top left, #462e00, transparent 65%); + background: radial-gradient(top left, #462e00, transparent 65%); + border-left-color: #462e00; + } + article aside.warning::before { + color: #e1973b; + } + article aside.tip:before { color: #185f5b; }