diff options
Diffstat (limited to 'docs/docs.css')
| -rw-r--r-- | docs/docs.css | 9 | 
1 files changed, 9 insertions, 0 deletions
diff --git a/docs/docs.css b/docs/docs.css index 75569e0f..4ade0405 100644 --- a/docs/docs.css +++ b/docs/docs.css @@ -159,3 +159,12 @@ a {    font-weight: bold;    color: red;  } + +.workInProgress { +  border: 2px solid orange; +} + +.workInProgress legend { +  font-weight: bold; +  color: orange; +}  | 
