Skip to content

Commit

Permalink
Adjust some css to make the docs look better
Browse files Browse the repository at this point in the history
  • Loading branch information
manthey committed Aug 21, 2023
1 parent a178eaa commit 40ad710
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 2 deletions.
6 changes: 4 additions & 2 deletions docs/girder_config_options.rst
Original file line number Diff line number Diff line change
Expand Up @@ -100,12 +100,14 @@ This is used to specify how items appear in item lists. There are two settings,
value: gloms.length
title: Number of Gloms
# You can edit metadata in a item list by adding the edit: true entry
# and the options from the itemMetadata records that are shown below.
# In this case, edit to metadata that validate are saved immediately.
# and the options from the itemMetadata records that are detailed
# below. In this case, edits to metadata that validate are saved
# immediately.
-
type: metadata
value: userstain
title: User Stain
edit: true
# description is used as both a tooltip and as placeholder text
description: Staining method
# if required is true, the value can't be empty
Expand Down
6 changes: 6 additions & 0 deletions docs/static/custom.css
Original file line number Diff line number Diff line change
Expand Up @@ -7,3 +7,9 @@
.indextable.genindextable a:before {
content: "\2022\00A0";
}
.wy-nav-content {
max-width: 1000px;
}
html.writer-html5 .rst-content dl.field-list dl.field-list {
grid-template-columns: auto minmax(60%,95%);
}

0 comments on commit 40ad710

Please sign in to comment.