diff options
Diffstat (limited to 'parallel-libs/streamexecutor/customdoxygen.css')
| -rw-r--r-- | parallel-libs/streamexecutor/customdoxygen.css | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/parallel-libs/streamexecutor/customdoxygen.css b/parallel-libs/streamexecutor/customdoxygen.css deleted file mode 100644 index a40ac950e3f..00000000000 --- a/parallel-libs/streamexecutor/customdoxygen.css +++ /dev/null @@ -1,20 +0,0 @@ -body { - background-color: #e0e0eb; -} - -div.header { - margin-left: auto; - margin-right: auto; - max-width: 60em; - padding-left: 2em; - padding-right: 2em; -} - -div.contents { - margin-left: auto; - margin-right: auto; - max-width: 60em; - background-color: white; - padding: 2em; - border-radius: 1em; -} |

