enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-12-24 14:24:11 +03:00
Code Issues Projects Releases Wiki Activity

Make font size in the documentation panel smaller (#5654)

Browse Source 
Closes #5653

Make the font size in the documentation panel smaller, the same size as component browser entries.

<img width="1301" alt="Screenshot 2023-02-14 at 14 23 51" src="https://user-images.githubusercontent.com/6566674/218712728-1f233ebb-7b17-4f6d-92e3-2e60def626d3.png">
<img width="890" alt="Screenshot 2023-02-14 at 14 36 55" src="https://user-images.githubusercontent.com/6566674/218712753-72d1cd49-14f7-46c0-a5f5-f56f568219a5.png">
This commit is contained in:
Ilya Bogdanov 2023-02-14 15:41:09 +04:00 committed by GitHub
parent a02eab451e
commit 5a56d69fdf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 10 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
app/gui/view/documentation/src/html.rs
View File

@ -43,7 +43,7 @@ const ICON_SVG_XMLNS: &str = "http://www.w3.org/2000/svg";
/// A single icon used in headers. `content` is an SVG code of the icon's content _without_ the
/// surrounding `<svg>` tags.
fn svg_icon(content: &'static str) -> impl Render {
let class = "w-5 h-5 fill-none flex-shrink-0 mt-0.5";
let class = "w-[12px] h-[12px] fill-none flex-shrink-0 mt-0.5";
owned_html! {
svg(class=class, viewBox=ICON_VIEWBOX, xmlns=ICON_SVG_XMLNS) {
:Raw(content)
@ -484,7 +484,7 @@ fn local_synopsis<'a>(synopsis: &'a Synopsis) -> Box<dyn Render + 'a> {
/// class.
fn docs_content(content: impl Render) -> impl Render {
owned_html! {
div(class="enso-docs text-docsText bg-docsBackground pl-4 pr-2") {
div(class="enso-docs text-docsText text-base bg-docsBackground pl-4 pr-2") {
: &content;
}
}
@ -492,7 +492,7 @@ fn docs_content(content: impl Render) -> impl Render {
fn section_content(content: impl Render) -> impl Render {
owned_html! {
div(class="pl-7") {
div(class="pl-5") {
: &content;
}
}
@ -626,7 +626,7 @@ pub fn caption_html() -> String {
owned_html! {
div(class="bg-captionBackground rounded-t-[14px] w-full h-full flex \
items-center justify-center") {
div(class="text-xs text-white") {
div(class="text-base text-white") {
: "Hovered item preview. Press the right mouse button to lock it.";
}
}

6
app/gui/view/documentation/tailwind.config.js
View File

@ -2,6 +2,12 @@
module.exports = {
content: ['src/**/*.rs'],
theme: {
fontSize: {
base: '11.5px',
lg: '13px',
xl: '15px',
'2xl': '17px',
},
extend: {
colors: {
typeName: '#9640da',