 Philippe Pittoli
|
2d31751b09
|
Better tables + SOA display is now okay-ish.
|
2023-07-14 21:02:35 +02:00 |
|
Philippe Pittoli
|
c0ed930bea
|
Rewrite RecordBase type (in RR.purs) to match ResourceRecord.
|
2023-07-12 20:38:50 +02:00 |
|
Philippe Pittoli
|
c307e1679e
|
Fix warnings.
|
2023-07-12 13:06:36 +02:00 |
|
Philippe Pittoli
|
15012f3824
|
Cosmetic changes (fix -> save, X -> remove) + comments.
|
2023-07-12 02:41:19 +02:00 |
|
Philippe Pittoli
|
437722c323
|
Add "Protocol" attribute to SRV RR.
|
2023-07-12 01:38:21 +02:00 |
|
Philippe Pittoli
|
252fbac269
|
Classes are in CSSClasses, some unused code removed, etc.
|
2023-07-10 20:15:22 +02:00 |
|
Philippe Pittoli
|
b976cd2ebc
|
Remove now useless App.Style module.
|
2023-07-10 18:24:50 +02:00 |
|
Philippe Pittoli
|
c0db4a93e0
|
ZoneInterface now uses mostly the Bulma module.
|
2023-07-10 18:14:56 +02:00 |
|
Philippe Pittoli
|
b178a830cc
|
Tiles + titles.
|
2023-07-09 14:26:47 +02:00 |
|
Philippe Pittoli
|
0e29dc5df6
|
Navbar in a separate file.
|
2023-07-08 04:17:13 +02:00 |
|
Philippe Pittoli
|
afe576a557
|
Coding style corrections.
|
2023-07-08 04:00:32 +02:00 |
|
Philippe Pittoli
|
ed4ac04c28
|
Bulma: provide remaining signatures.
|
2023-07-08 03:47:13 +02:00 |
|
Philippe Pittoli
|
e4fbe59a3b
|
Clearer netlib.re navbar.
|
2023-07-08 02:59:30 +02:00 |
|
Philippe Pittoli
|
46d9352a16
|
Bulma cleaning (WIP). Removing some useless stuff.
|
2023-07-08 02:00:23 +02:00 |
|
Philippe Pittoli
|
dac8067508
|
CSS classes in a separate module.
|
2023-07-08 01:50:11 +02:00 |
|
Philippe Pittoli
|
ac9492b62e
|
Decorative navbar.
|
2023-07-08 00:22:23 +02:00 |
|
Philippe Pittoli
|
0fb4fcd608
|
Style (minor). Are sections even useful?
|
2023-07-05 07:14:49 +02:00 |
|
Philippe Pittoli
|
9f4600b1e8
|
Style, again. Improved DomainList UI.
|
2023-07-05 07:00:42 +02:00 |
|
Philippe Pittoli
|
de52e40036
|
Style.
|
2023-07-05 06:50:30 +02:00 |
|
Philippe Pittoli
|
b2caff5123
|
Bulma: introduce some fields.
|
2023-07-03 15:05:40 +02:00 |
|
Philippe Pittoli
|
8d32f9933b
|
Let's select a domain!
|
2023-07-02 00:05:38 +02:00 |
|
Philippe Pittoli
|
8fe25f8aca
|
Bulma select.
|
2023-07-01 17:32:15 +02:00 |
|
Philippe Pittoli
|
c8c52ea408
|
An admin can now create an admin user.
|
2023-06-13 20:17:27 +02:00 |
|
Philippe Pittoli
|
4d73afa642
|
Bulma now has some input boxes.
|
2023-06-09 00:28:03 +02:00 |
|
Philippe Pittoli
|
48a9a55533
|
Add untested because I'm lazy, lol
|
2023-06-08 22:00:53 +02:00 |
|
Philippe Pittoli
|
987133954f
|
Bulma CSS style: WIP.
|
2023-06-08 21:51:12 +02:00 |