documentation, dialog box borders

1 files changed, 0 insertions, 36 deletions

diff --git a/doc/html/search/searchdata.js b/doc/html/search/searchdata.js
deleted file mode 100644
index 7444df2..0000000
--- a/doc/html/search/searchdata.js
+++ /dev/null
@@ -1,36 +0,0 @@
-var indexSectionsWithContent =
-{
-  0: "abcdegilmnopqrstvwxy",
-  1: "aeilmnopqrstvw",
-  2: "mw",
-  3: "dms",
-  4: "cglsxy",
-  5: "w",
-  6: "bdrs",
-  7: "g"
-};
-
-var indexSectionNames =
-{
-  0: "all",
-  1: "classes",
-  2: "files",
-  3: "functions",
-  4: "variables",
-  5: "enums",
-  6: "enumvalues",
-  7: "pages"
-};
-
-var indexSectionLabels =
-{
-  0: "All",
-  1: "Classes",
-  2: "Files",
-  3: "Functions",
-  4: "Variables",
-  5: "Enumerations",
-  6: "Enumerator",
-  7: "Pages"
-};
-