From 686f96ba3c1909d4840e1d04a559e3b6e9e3250e Mon Sep 17 00:00:00 2001 From: FireIsGood Date: Wed, 12 Jun 2024 00:57:42 -0700 Subject: [PATCH 1/4] Change style to be more semantic --- about.html | 10 +++++----- index.html | 10 +++++----- micro_files/micro.css | 14 +++++++------- plugins.html | 10 +++++----- 4 files changed, 22 insertions(+), 22 deletions(-) diff --git a/about.html b/about.html index 0ca8270..76d0c48 100644 --- a/about.html +++ b/about.html @@ -34,22 +34,22 @@
-
+
- -
+ +
@@ -128,7 +128,7 @@

Logos


-
+

View the source code for this website on GitHub

diff --git a/index.html b/index.html index 17e76f7..405c61f 100644 --- a/index.html +++ b/index.html @@ -47,22 +47,22 @@
-
+
- -
+ +

micro

@@ -224,7 +224,7 @@

Testimonials


-
+

View the source code for this website on GitHub

diff --git a/micro_files/micro.css b/micro_files/micro.css index 6e43df1..5093d7e 100644 --- a/micro_files/micro.css +++ b/micro_files/micro.css @@ -34,26 +34,26 @@ input[type="radio"] { } /* Everything but the jumbotron gets side spacing for mobile first views */ -.header, -.footer { +header, +footer { padding-right: 15px; padding-left: 15px; } /* Custom page header */ -.header { +header { padding-bottom: 20px; border-bottom: 1px solid #e5e5e5; } /* Make the masthead heading the same height as the navigation */ -.header h3 { +header h3 { margin-top: 0; margin-bottom: 0; line-height: 40px; } /* Custom page footer */ -.footer { +footer { padding-top: 19px; color: #777; border-top: 1px solid #e5e5e5; @@ -122,11 +122,11 @@ p.lead { border-radius: 1px; } -.nav > li > a, .nav-pills > li > a:hover, .nav-pills > li > a:hover { +nav ul.nav > li > a, .nav-pills > li > a:hover, .nav-pills > li > a:hover { border-radius: 5px; } -.nav > li.active > a, .nav-pills > li.active > a:focus, .nav-pills > li.active > a:hover { +nav ul.nav > li.active > a, .nav-pills > li.active > a:focus, .nav-pills > li.active > a:hover { background-color: #2F3590; color: #fff; border-radius: 5px; diff --git a/plugins.html b/plugins.html index 9c436b9..23e6f32 100644 --- a/plugins.html +++ b/plugins.html @@ -33,22 +33,22 @@
-
+
- -
+ +
@@ -76,7 +76,7 @@

Plugins

-
+

View the source code for this website on GitHub

From 6ccc9d29756c69f7feddb1edb207acc4d92f9248 Mon Sep 17 00:00:00 2001 From: FireIsGood Date: Wed, 12 Jun 2024 01:05:15 -0700 Subject: [PATCH 2/4] Add slight gap to header buttons --- micro_files/micro.css | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/micro_files/micro.css b/micro_files/micro.css index 5093d7e..8fcd3f1 100644 --- a/micro_files/micro.css +++ b/micro_files/micro.css @@ -122,6 +122,11 @@ p.lead { border-radius: 1px; } +nav ul { + display: flex; + gap: 1ch; +} + nav ul.nav > li > a, .nav-pills > li > a:hover, .nav-pills > li > a:hover { border-radius: 5px; } From 4cc8fa3517121153288131a23b1b11e25f759264 Mon Sep 17 00:00:00 2001 From: FireIsGood Date: Wed, 12 Jun 2024 01:13:30 -0700 Subject: [PATCH 3/4] Change overall container to semantic containers --- about.html | 163 +++++++++++---------- index.html | 322 +++++++++++++++++++++--------------------- micro_files/micro.css | 10 +- plugins.html | 60 ++++---- 4 files changed, 279 insertions(+), 276 deletions(-) diff --git a/about.html b/about.html index 76d0c48..1cceba7 100644 --- a/about.html +++ b/about.html @@ -32,108 +32,107 @@ +
+ -
-
-
+ +
+
+
+
+

About

+

Micro is a terminal-based text editor that aims to be easy to use and intuitive, while also taking advantage of the full capabilities of modern terminals. It comes as one single, batteries-included, static binary with no dependencies, and you can download and use it right now.

- +

As the name indicates, micro aims to be somewhat of a successor to the nano editor by being easy to install and use in a pinch, but micro also aims to be enjoyable to use full time, whether you work in the terminal because you prefer it (like me), or because you need to (over ssh).

+
+
- -
+
-
-
-
-

About

-
-

Micro is a terminal-based text editor that aims to be easy to use and intuitive, while also taking advantage of the full capabilities of modern terminals. It comes as one single, batteries-included, static binary with no dependencies, and you can download and use it right now.

- -

As the name indicates, micro aims to be somewhat of a successor to the nano editor by being easy to install and use in a pinch, but micro also aims to be enjoyable to use full time, whether you work in the terminal because you prefer it (like me), or because you need to (over ssh).

+
+
+
+

Documentation and Help

+
+

Micro has a built-in help system which you can access by pressing Ctrl-E and typing help topic. You can also press Ctrl-G to open the main help file. The help files are also viewable online in the GitHub repository.

+

I also recommend reading the tutorial for + a brief introduction to the more powerful configuration features micro offers.

-
+
+

If you have any questions, feel free to open an issue in the GitHub issue tracker or to ask more informally in the Gitter chat

+
+
+
+
+

Help topics

+ +
+
-
-
-
-

Documentation and Help

-
-
-
-

Micro has a built-in help system which you can access by pressing Ctrl-E and typing help topic. You can also press Ctrl-G to open the main help file. The help files are also viewable online in the GitHub repository.

-

I also recommend reading the tutorial for - a brief introduction to the more powerful configuration features micro offers.

+
-
-

If you have any questions, feel free to open an issue in the GitHub issue tracker or to ask more informally in the Gitter chat

-
-
+
+
+
+

FAQs

-
-

Help topics

- +

Does micro support Vi keybindings?

+

Currently micro does not have any sort of Vim emulation. However, this is the next major feature that is planned, so stay tuned.

+
+

Can micro support the Command key on MacOS?

+

Unfortunately terminals don't send key events for the Command key so it's impossible for micro to make keybindings for it. One solution in iTerm2 is in 'Preferences->Keys->Remap Modifiers' and select 'Remap left command key to control.' Note that command will no longer be usable in iTerm2 for terminal keybindings (such as command-q to quit, or command-d to split).

+
+

Can I contribute even if I don't know Go?

+

Yes! You can help by creating colorschemes or syntax files or by improving the documentation. If you know Lua you can write plugins.

+
+

Syntax highlighting isn't working well. I only see a few colors/no colors

+

Your TERM variable probably indicates that your terminal only supports 16 colors. You can change it like so to enable 256 colors: $ export TERM=xterm-256color. Alternatively you can use one of micro's 16 color colorschemes by running > set colorscheme simple.


-
+
-

FAQs

-
-

Does micro support Vi keybindings?

-

Currently micro does not have any sort of Vim emulation. However, this is the next major feature that is planned, so stay tuned.

-
-

Can micro support the Command key on MacOS?

-

Unfortunately terminals don't send key events for the Command key so it's impossible for micro to make keybindings for it. One solution in iTerm2 is in 'Preferences->Keys->Remap Modifiers' and select 'Remap left command key to control.' Note that command will no longer be usable in iTerm2 for terminal keybindings (such as command-q to quit, or command-d to split).

-
-

Can I contribute even if I don't know Go?

-

Yes! You can help by creating colorschemes or syntax files or by improving the documentation. If you know Lua you can write plugins.

-
-

Syntax highlighting isn't working well. I only see a few colors/no colors

-

Your TERM variable probably indicates that your terminal only supports 16 colors. You can change it like so to enable 256 colors: $ export TERM=xterm-256color. Alternatively you can use one of micro's 16 color colorschemes by running > set colorscheme simple. +

Logos

-
+

You can download both SVG and PNG versions of the Micro logo for free in the following zip file.

-
- -
-
-
-

Logos

-
-

You can download both SVG and PNG versions of the Micro logo for free in the following zip file.

- - micro-logos.zip -
+ micro-logos.zip
-
+
+ -
-

View the source code for this website on GitHub

-
-
+
- - - - +
+

View the source code for this website on GitHub

+
+ + + + diff --git a/index.html b/index.html index 405c61f..8398392 100644 --- a/index.html +++ b/index.html @@ -45,190 +45,188 @@ - -
-
- - - - - -
- -
-

micro

-

a modern and intuitive terminal-based text editor

-

Download

-
curl https://getmic.ro | bash

- Star -

See detailed installation instructions

-
-
- - +
+
+

View the source code for this website on GitHub

+
diff --git a/micro_files/micro.css b/micro_files/micro.css index 8fcd3f1..56ad100 100644 --- a/micro_files/micro.css +++ b/micro_files/micro.css @@ -60,11 +60,19 @@ footer { } /* Customize container */ +header, main, footer { + padding-right: 15px; + padding-left: 15px; + margin-right: auto; + margin-left: auto; +} + @media (min-width: 768px) { - .container { + header, main, footer { max-width: 1100px; } } + .container-narrow > hr { margin: 10px 0; } diff --git a/plugins.html b/plugins.html index 23e6f32..2adcdf1 100644 --- a/plugins.html +++ b/plugins.html @@ -32,24 +32,24 @@ -
-
- +
+ - + - -
+ +
+
@@ -57,16 +57,16 @@

Plugins

Name + checked="true">Name Description Tags

-
+
- + -
+

@@ -74,16 +74,14 @@

Plugins

+
- -
-

View the source code for this website on GitHub

-
-
- - - - - - - +
+

View the source code for this website on GitHub

+
+ + + + + + From 7c88afeeaecf0a257b2f39dab1f69a272336859a Mon Sep 17 00:00:00 2001 From: FireIsGood Date: Wed, 12 Jun 2024 01:13:39 -0700 Subject: [PATCH 4/4] Add scrollbar gutter progressive enhancement --- micro_files/micro.css | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/micro_files/micro.css b/micro_files/micro.css index 56ad100..0b068f0 100644 --- a/micro_files/micro.css +++ b/micro_files/micro.css @@ -77,6 +77,13 @@ header, main, footer { margin: 10px 0; } +/* Fix scrollbars moving over the body if possible */ +@media (min-width: 800px) { + :root { + scrollbar-gutter: stable both-edges; + } +} + /* Main features message and sign up button */ .jumbotron { text-align: center;