sij/khoj
1
0
Fork 0
mirror of https://github.com/khoj-ai/khoj.git synced 2024-11-27 17:35:07 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Make org result headings at same level. Improve spacing of results

Browse source 
Having org-mode result headings change size based on their depth in
the source document makes is a confusing UI experience.

Improve font-size, line-spacing and margins of results to make
delineation between entries, and differntiating between entry heading
and it's body easier to visually infer.

Do not white-space: pre-line. Improves rendering of Markdown results
This commit is contained in:
Debanjum Singh Solanky 2022-07-29 01:48:47 +04:00
parent 4d5183063c
commit 7e5291a38e
2 changed files with 16 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/interface/web/assets/org.js
View file

@ -92,7 +92,7 @@ var Org = (function () {
token.indentation = 0; token.indentation = 0;
token.content = RegExp.$2; token.content = RegExp.$2;
// specific // specific
token.level = RegExp.$1.length; token.level = 2;
} else if (Syntax.isPreformatted(line)) { } else if (Syntax.isPreformatted(line)) {
token.type = Lexer.tokens.preformatted; token.type = Lexer.tokens.preformatted;
token.indentation = RegExp.$1.length; token.indentation = RegExp.$1.length;

16
src/interface/web/index.html
View file

@ -154,6 +154,14 @@
border-radius: 5px; border-radius: 5px;
border: 1px solid #ccc; border: 1px solid #ccc;
} }
#query {
font-size: larger;
}
#results {
font-size: medium;
margin: 0px;
line-height: 20px;
}
#results-image { #results-image {
display: grid; display: grid;
grid-template-columns: repeat(3, 1fr); grid-template-columns: repeat(3, 1fr);
@ -172,19 +180,22 @@
#results-markdown { #results-markdown {
text-align: left; text-align: left;
white-space: pre-line;
} }
#results-org { #results-org {
text-align: left; text-align: left;
white-space: pre-line; white-space: pre-line;
} }
#results-org h3 {
margin: 20px 0 0 0;
font-size: larger;
}
span.task-status { span.task-status {
color: white; color: white;
padding: 3.5px 3.5px 0; padding: 3.5px 3.5px 0;
margin-right: 5px; margin-right: 5px;
border-radius: 5px; border-radius: 5px;
background-color: #ed6f00; background-color: #ed6f00;
font-size: medium;
} }
span.task-status.todo { span.task-status.todo {
background-color: #048ba8 background-color: #048ba8
@ -198,6 +209,7 @@
margin-right: 5px; margin-right: 5px;
border-radius: 5px; border-radius: 5px;
background-color: #bbb; background-color: #bbb;
font-size: small;
} }
</style> </style>