Skip to content
Snippets Groups Projects
Commit 563e0281 authored by Albert Gräf's avatar Albert Gräf
Browse files

Cosmetic GUI changes: fixes to search dialog, needs to have its own class.

parent 9cfcce5f
No related branches found
No related tags found
No related merge requests found
......@@ -332,6 +332,13 @@ text {
left: 0;
}
/* Search dialog */
.search_body {
font-family: "DejaVu Sans", sans-serif;
font-size: 10pt;
}
/* Common to all dialogs */
.dialog_body {
......
......@@ -464,6 +464,13 @@ text {
box-shadow: 7px 7px 5px grey;
}
/* Search dialog */
.search_body {
font-family: "DejaVu Sans", sans-serif;
font-size: 10pt;
}
/* Common to all dialogs */
.dialog_body {
......
......@@ -326,6 +326,13 @@ text {
left: 0;
}
/* Search dialog */
.search_body {
font-family: "DejaVu Sans", sans-serif;
font-size: 10pt;
}
/* Common to all dialogs */
.dialog_body {
......
......@@ -352,6 +352,13 @@ text {
color: white;
}
/* Search dialog */
.search_body {
font-family: "DejaVu Sans", sans-serif;
font-size: 10pt;
}
/* Common to all dialogs */
.dialog_body {
......
......@@ -334,6 +334,13 @@ text {
left: 0;
}
/* Search dialog */
.search_body {
font-family: "DejaVu Sans", sans-serif;
font-size: 10pt;
}
/* Common to all dialogs */
.dialog_body {
......
......@@ -333,6 +333,13 @@ text {
left: 0;
}
/* Search dialog */
.search_body {
font-family: "DejaVu Sans", sans-serif;
font-size: 10pt;
}
/* Common to all dialogs */
.dialog_body {
......
......@@ -327,6 +327,13 @@ text {
left: 0;
}
/* Search dialog */
.search_body {
font-family: "DejaVu Sans", sans-serif;
font-size: 10pt;
}
/* Common to all dialogs */
.dialog_body {
......
......@@ -332,6 +332,13 @@ text {
left: 0;
}
/* Search dialog */
.search_body {
font-family: "DejaVu Sans", sans-serif;
font-size: 10pt;
}
/* Common to all dialogs */
.dialog_body {
......
......@@ -337,7 +337,7 @@ function doc_search() {
}
</script>
</head>
<body class="dialog_body">
<body class="search_body">
<svg xmlns="http://www.w3.org/2000/svg" version="1.1"
width="220" height="50" viewBox="0 0 140 31.81">
<g stroke-linecap="square" fill="none" stroke-width="3">
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment