1
0
mirror of https://github.com/laurent22/joplin.git synced 2024-12-03 08:35:29 +02:00
joplin/ElectronClient/app/style.css

76 lines
1.5 KiB
CSS
Raw Normal View History

2017-11-07 23:11:14 +02:00
body, textarea {
margin: 0;
padding: 0;
2017-11-07 23:11:14 +02:00
border: none;
}
#react-root {
height: 100%;
2017-11-12 01:13:14 +02:00
overflow: hidden;
}
2017-12-05 20:56:39 +02:00
table {
border-collapse: collapse;
}
table th {
text-align: left;
}
table td, table th {
padding: .5em;
border: 1px solid #ccc;
}
2017-11-23 20:16:17 +02:00
/* By default, the Ice Editor displays invalid characters, such as non-breaking spaces
as red boxes, but since those are actually valid characters and common in imported
Evernote data, we hide them here. */
.ace-chrome .ace_invisible_space {
background-color: transparent !important;
opacity: 0;
}
2017-11-09 21:21:10 +02:00
.note-list .list-item:hover {
background-color: rgba(0,160,255,0.1) !important;
}
.side-bar .list-item:hover,
.side-bar .synchronize-button:hover {
2017-11-12 19:53:26 +02:00
background-color: #453E53;
}
.side-bar .list-item:active,
.side-bar .synchronize-button:active {
background-color: #564B6C;
2017-11-09 21:21:10 +02:00
}
.editor-toolbar .button:not(.disabled):hover,
2017-11-13 02:23:12 +02:00
.header .button:not(.disabled):hover {
2017-11-09 00:23:26 +02:00
background-color: rgba(0,160,255,0.1);
border: 1px solid rgba(0,160,255,0.5);
2017-11-09 21:21:10 +02:00
box-sizing: 'border-box';
2017-11-09 00:23:26 +02:00
}
.editor-toolbar .button:not(.disabled):active,
2017-11-13 02:23:12 +02:00
.header .button:not(.disabled):active {
2017-11-12 19:53:26 +02:00
background-color: rgba(0,160,255,0.2);
border: 1px solid rgba(0,160,255,0.7);
box-sizing: 'border-box';
}
.editor-toolbar .button,
2017-11-09 00:23:26 +02:00
.header .button {
border: 1px solid rgba(0,160,255,0);
2017-11-11 00:18:00 +02:00
}
.icon-button:hover {
background-color: rgba(0,0,0,0.05) !important;
border: 1px solid rgba(0,0,0,0.10);
border-radius: 5px;
2017-11-12 19:53:26 +02:00
}
.icon-button:active {
background-color: rgba(0,0,0,0.10) !important;
border: 1px solid rgba(0,0,0,0.15);
border-radius: 5px;
2017-11-04 18:40:34 +02:00
}