2023-10-10 19:51:57 +00:00
|
|
|
/* ---- make most desired things base transparent ---- */
|
2023-10-11 03:26:05 +00:00
|
|
|
popover,
|
|
|
|
|
popover > box
|
2023-10-22 00:00:09 +00:00
|
|
|
.main-window > box,
|
|
|
|
|
.main-window > box > box,
|
|
|
|
|
.main-window > box > box > paned,
|
|
|
|
|
.main-window > box > box > paned > notebook,
|
|
|
|
|
.main-window > box > box > paned > notebook > stack,
|
|
|
|
|
.main-window > box > box > paned > notebook > stack > scrolledwindow > textview > * {
|
2023-10-10 09:04:53 +00:00
|
|
|
background: rgba(0, 0, 0, 0.0);
|
2023-03-18 04:17:38 +00:00
|
|
|
color: rgba(255, 255, 255, 1);
|
2023-10-07 19:51:12 +00:00
|
|
|
}
|
|
|
|
|
|
2023-10-10 19:51:57 +00:00
|
|
|
|
|
|
|
|
/* ---- top controls ---- */
|
2023-10-22 00:00:09 +00:00
|
|
|
.main-window > box > box > button,
|
|
|
|
|
.main-window > box > box > buttonbox > button {
|
2023-10-10 09:04:53 +00:00
|
|
|
background: rgba(39, 43, 52, 0.64);
|
|
|
|
|
margin-left: 12px;
|
|
|
|
|
margin-right: 12px;
|
|
|
|
|
}
|
|
|
|
|
|
2023-10-10 19:51:57 +00:00
|
|
|
|
|
|
|
|
/* status bar */
|
2023-10-22 00:00:09 +00:00
|
|
|
.main-window > box > statusbar {
|
2023-10-10 09:04:53 +00:00
|
|
|
background: rgba(39, 43, 52, 0.64);
|
|
|
|
|
padding-left: 96px;
|
|
|
|
|
padding-right: 96px;
|
|
|
|
|
}
|
|
|
|
|
|
2023-10-10 19:51:57 +00:00
|
|
|
|
|
|
|
|
/* ---- notebook headers ---- */
|
|
|
|
|
notebook > header {
|
|
|
|
|
background: rgba(39, 43, 52, 0.72);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
notebook > header > tabs > tab {
|
|
|
|
|
color: rgba(255, 255, 255, 1);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
notebook > header > tabs > tab:active {
|
2023-10-14 20:44:45 +00:00
|
|
|
background: rgba(0, 0, 0, 0.0);
|
2023-10-10 19:51:57 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/* ---- notebook tab buttons ---- */
|
|
|
|
|
tab > box > button {
|
|
|
|
|
background: rgba(116, 0, 0, 0.64);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
tab > box > button:hover {
|
|
|
|
|
background: rgba(256, 0, 0, 0.64);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/* ---- source code notebooks ---- */
|
|
|
|
|
notebook > stack > scrolledwindow > textview {
|
2023-10-10 09:04:53 +00:00
|
|
|
background: rgba(39, 43, 52, 0.64);
|
|
|
|
|
color: rgba(255, 255, 255, 1);
|
|
|
|
|
}
|
|
|
|
|
|
2023-10-11 03:26:05 +00:00
|
|
|
/* any popover */
|
|
|
|
|
popover {
|
|
|
|
|
background: rgba(39, 43, 52, 0.86);
|
|
|
|
|
color: rgba(255, 255, 255, 1);
|
|
|
|
|
}
|
|
|
|
|
|
2023-10-13 03:22:19 +00:00
|
|
|
/* ---- make text selection slightly transparent ---- */
|
|
|
|
|
* selection {
|
|
|
|
|
background-color: rgba(0, 115, 115, 0.34);
|
|
|
|
|
/* Bergundy */
|
|
|
|
|
/* background-color: rgba(116, 0, 0, 0.64); */
|
|
|
|
|
color: rgba(255, 255, 255, 0.5);
|
|
|
|
|
}
|
|
|
|
|
|
2023-10-11 03:26:05 +00:00
|
|
|
|
2023-10-10 19:51:57 +00:00
|
|
|
/* ---- miniview properties ---- */
|
2023-10-13 03:22:19 +00:00
|
|
|
.source-view,
|
|
|
|
|
.mini-view {
|
|
|
|
|
font-family: Monospace;
|
|
|
|
|
}
|
|
|
|
|
|
2023-10-10 19:51:57 +00:00
|
|
|
/* the mini view container of text */
|
|
|
|
|
.mini-view > text {
|
|
|
|
|
background: rgba(39, 43, 52, 0.64);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* draggable overlay of the miniview */
|
|
|
|
|
.mini-view > * {
|
|
|
|
|
background: rgba(64, 64, 64, 0.32);
|
|
|
|
|
color: rgba(255, 255, 255, 1);
|
2023-10-13 03:22:19 +00:00
|
|
|
font-size: 1px;
|
2023-10-10 19:51:57 +00:00
|
|
|
}
|
|
|
|
|
|
2023-10-22 00:00:09 +00:00
|
|
|
.mini-view > text {
|
|
|
|
|
background: rgba(39, 43, 52, 0.64);
|
|
|
|
|
}
|
2023-10-10 19:51:57 +00:00
|
|
|
|
2023-10-07 19:51:12 +00:00
|
|
|
|
2023-10-13 03:22:19 +00:00
|
|
|
/* other properties */
|
|
|
|
|
.buffer_changed {
|
|
|
|
|
color: rgba(0, 232, 255, 0.64);
|
2023-10-10 09:04:53 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2023-10-16 02:16:09 +00:00
|
|
|
.searching,
|
|
|
|
|
.search_success,
|
|
|
|
|
.search_fail {
|
|
|
|
|
border-style: solid;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.searching {
|
|
|
|
|
border-color: rgba(0, 225, 225, 0.64);
|
|
|
|
|
}
|
|
|
|
|
.search_success {
|
|
|
|
|
background: rgba(136, 204, 39, 0.12);
|
|
|
|
|
border-color: rgba(136, 204, 39, 1);
|
|
|
|
|
}
|
|
|
|
|
.search_fail {
|
|
|
|
|
background: rgba(170, 18, 18, 0.12);
|
|
|
|
|
border-color: rgba(200, 18, 18, 1);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2023-10-07 19:51:12 +00:00
|
|
|
.error_txt { color: rgb(170, 18, 18); }
|
|
|
|
|
.warning_txt { color: rgb(255, 168, 0); }
|
|
|
|
|
.success_txt { color: rgb(136, 204, 39); }
|
2023-10-10 09:04:53 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
|
Need these because updating buffer with get_tag_table and tags updates minimap to the same size due to its mapping structure...
|
|
|
|
|
I've tried initial looks at:
|
|
|
|
|
https://github.com/johnfactotum/gedit-restore-minimap
|
|
|
|
|
which is re-adding minimap to gedit and they just used the below code snippit which still didn't work for me.
|
|
|
|
|
|
|
|
|
|
desc = Pango.FontDescription(default_font)
|
|
|
|
|
desc.set_size(Pango.SCALE) # set size to 1pt
|
|
|
|
|
desc.set_family('BuilderBlocks,' + desc.get_family())
|
|
|
|
|
self.source_map.set_property('font-desc', desc)
|
|
|
|
|
|
|
|
|
|
So now we do this monstrocity until I can figure out what is needed to make something better work.
|
|
|
|
|
|
|
|
|
|
*/
|
|
|
|
|
.px1 { font-size: 1px; }
|
|
|
|
|
.px2 { font-size: 2px; }
|
|
|
|
|
.px3 { font-size: 3px; }
|
|
|
|
|
.px4 { font-size: 4px; }
|
|
|
|
|
.px5 { font-size: 5px; }
|
|
|
|
|
.px6 { font-size: 6px; }
|
|
|
|
|
.px7 { font-size: 7px; }
|
|
|
|
|
.px8 { font-size: 8px; }
|
|
|
|
|
.px9 { font-size: 9px; }
|
|
|
|
|
.px10 { font-size: 10px; }
|
|
|
|
|
.px11 { font-size: 11px; }
|
|
|
|
|
.px12 { font-size: 12px; }
|
|
|
|
|
.px13 { font-size: 13px; }
|
|
|
|
|
.px14 { font-size: 14px; }
|
|
|
|
|
.px15 { font-size: 15px; }
|
|
|
|
|
.px16 { font-size: 16px; }
|
|
|
|
|
.px17 { font-size: 17px; }
|
|
|
|
|
.px18 { font-size: 18px; }
|
|
|
|
|
.px19 { font-size: 19px; }
|
|
|
|
|
.px20 { font-size: 20px; }
|
|
|
|
|
.px21 { font-size: 21px; }
|
|
|
|
|
.px22 { font-size: 22px; }
|
|
|
|
|
.px23 { font-size: 23px; }
|
|
|
|
|
.px24 { font-size: 24px; }
|
|
|
|
|
.px25 { font-size: 25px; }
|
|
|
|
|
.px26 { font-size: 26px; }
|
|
|
|
|
.px27 { font-size: 27px; }
|
|
|
|
|
.px28 { font-size: 28px; }
|
|
|
|
|
.px29 { font-size: 29px; }
|
|
|
|
|
.px30 { font-size: 30px; }
|
|
|
|
|
.px31 { font-size: 31px; }
|
|
|
|
|
.px32 { font-size: 32px; }
|
|
|
|
|
.px33 { font-size: 33px; }
|
|
|
|
|
.px34 { font-size: 34px; }
|
|
|
|
|
.px35 { font-size: 35px; }
|
|
|
|
|
.px36 { font-size: 36px; }
|
|
|
|
|
.px37 { font-size: 37px; }
|
|
|
|
|
.px38 { font-size: 38px; }
|
|
|
|
|
.px39 { font-size: 39px; }
|
|
|
|
|
.px40 { font-size: 40px; }
|
|
|
|
|
.px41 { font-size: 41px; }
|
|
|
|
|
.px42 { font-size: 42px; }
|
|
|
|
|
.px43 { font-size: 43px; }
|
|
|
|
|
.px44 { font-size: 44px; }
|
|
|
|
|
.px45 { font-size: 45px; }
|
|
|
|
|
.px46 { font-size: 46px; }
|
|
|
|
|
.px47 { font-size: 47px; }
|
|
|
|
|
.px48 { font-size: 48px; }
|
|
|
|
|
.px49 { font-size: 49px; }
|
|
|
|
|
.px50 { font-size: 50px; }
|
|
|
|
|
.px51 { font-size: 51px; }
|
|
|
|
|
.px52 { font-size: 52px; }
|
|
|
|
|
.px53 { font-size: 53px; }
|
|
|
|
|
.px54 { font-size: 54px; }
|
|
|
|
|
.px55 { font-size: 55px; }
|
|
|
|
|
.px56 { font-size: 56px; }
|
|
|
|
|
.px57 { font-size: 57px; }
|
|
|
|
|
.px58 { font-size: 58px; }
|
|
|
|
|
.px59 { font-size: 59px; }
|
|
|
|
|
.px60 { font-size: 60px; }
|
|
|
|
|
.px61 { font-size: 61px; }
|
|
|
|
|
.px62 { font-size: 62px; }
|
|
|
|
|
.px63 { font-size: 63px; }
|
|
|
|
|
.px64 { font-size: 64px; }
|
|
|
|
|
.px65 { font-size: 65px; }
|
|
|
|
|
.px66 { font-size: 66px; }
|
|
|
|
|
.px67 { font-size: 67px; }
|
|
|
|
|
.px68 { font-size: 68px; }
|
|
|
|
|
.px69 { font-size: 69px; }
|
|
|
|
|
.px70 { font-size: 70px; }
|
|
|
|
|
.px71 { font-size: 71px; }
|
|
|
|
|
.px72 { font-size: 72px; }
|
|
|
|
|
.px73 { font-size: 73px; }
|
|
|
|
|
.px74 { font-size: 74px; }
|
|
|
|
|
.px75 { font-size: 75px; }
|
|
|
|
|
.px76 { font-size: 76px; }
|
|
|
|
|
.px77 { font-size: 77px; }
|
|
|
|
|
.px78 { font-size: 78px; }
|
|
|
|
|
.px79 { font-size: 79px; }
|
|
|
|
|
.px80 { font-size: 80px; }
|
|
|
|
|
.px81 { font-size: 81px; }
|
|
|
|
|
.px82 { font-size: 82px; }
|
|
|
|
|
.px83 { font-size: 83px; }
|
|
|
|
|
.px84 { font-size: 84px; }
|
|
|
|
|
.px85 { font-size: 85px; }
|
|
|
|
|
.px86 { font-size: 86px; }
|
|
|
|
|
.px87 { font-size: 87px; }
|
|
|
|
|
.px88 { font-size: 88px; }
|
|
|
|
|
.px89 { font-size: 89px; }
|
|
|
|
|
.px90 { font-size: 90px; }
|
|
|
|
|
.px91 { font-size: 91px; }
|
|
|
|
|
.px92 { font-size: 92px; }
|
|
|
|
|
.px93 { font-size: 93px; }
|
|
|
|
|
.px94 { font-size: 94px; }
|
|
|
|
|
.px95 { font-size: 95px; }
|
|
|
|
|
.px96 { font-size: 96px; }
|
|
|
|
|
.px97 { font-size: 97px; }
|
|
|
|
|
.px98 { font-size: 98px; }
|
|
|
|
|
.px99 { font-size: 99px; }
|
2023-10-14 20:44:45 +00:00
|
|
|
|
|
|
|
|
|
2023-10-22 00:00:09 +00:00
|
|
|
|
|
|
|
|
.mw_transparency_1 { background: rgba(39, 43, 52, 0.1); }
|
|
|
|
|
.mw_transparency_2 { background: rgba(39, 43, 52, 0.2); }
|
|
|
|
|
.mw_transparency_3 { background: rgba(39, 43, 52, 0.3); }
|
|
|
|
|
.mw_transparency_4 { background: rgba(39, 43, 52, 0.4); }
|
|
|
|
|
.mw_transparency_5 { background: rgba(39, 43, 52, 0.5); }
|
|
|
|
|
.mw_transparency_6 { background: rgba(39, 43, 52, 0.6); }
|
|
|
|
|
.mw_transparency_7 { background: rgba(39, 43, 52, 0.7); }
|
|
|
|
|
.mw_transparency_8 { background: rgba(39, 43, 52, 0.8); }
|
|
|
|
|
.mw_transparency_9 { background: rgba(39, 43, 52, 0.9); }
|
|
|
|
|
.mw_transparency_10 { background: rgba(39, 43, 52, 0.10); }
|
|
|
|
|
.mw_transparency_11 { background: rgba(39, 43, 52, 0.11); }
|
|
|
|
|
.mw_transparency_12 { background: rgba(39, 43, 52, 0.12); }
|
|
|
|
|
.mw_transparency_13 { background: rgba(39, 43, 52, 0.13); }
|
|
|
|
|
.mw_transparency_14 { background: rgba(39, 43, 52, 0.14); }
|
|
|
|
|
.mw_transparency_15 { background: rgba(39, 43, 52, 0.15); }
|
|
|
|
|
.mw_transparency_16 { background: rgba(39, 43, 52, 0.16); }
|
|
|
|
|
.mw_transparency_17 { background: rgba(39, 43, 52, 0.17); }
|
|
|
|
|
.mw_transparency_18 { background: rgba(39, 43, 52, 0.18); }
|
|
|
|
|
.mw_transparency_19 { background: rgba(39, 43, 52, 0.19); }
|
|
|
|
|
.mw_transparency_20 { background: rgba(39, 43, 52, 0.20); }
|
|
|
|
|
.mw_transparency_21 { background: rgba(39, 43, 52, 0.21); }
|
|
|
|
|
.mw_transparency_22 { background: rgba(39, 43, 52, 0.22); }
|
|
|
|
|
.mw_transparency_23 { background: rgba(39, 43, 52, 0.23); }
|
|
|
|
|
.mw_transparency_24 { background: rgba(39, 43, 52, 0.24); }
|
|
|
|
|
.mw_transparency_25 { background: rgba(39, 43, 52, 0.25); }
|
|
|
|
|
.mw_transparency_26 { background: rgba(39, 43, 52, 0.26); }
|
|
|
|
|
.mw_transparency_27 { background: rgba(39, 43, 52, 0.27); }
|
|
|
|
|
.mw_transparency_28 { background: rgba(39, 43, 52, 0.28); }
|
|
|
|
|
.mw_transparency_29 { background: rgba(39, 43, 52, 0.29); }
|
|
|
|
|
.mw_transparency_30 { background: rgba(39, 43, 52, 0.30); }
|
|
|
|
|
.mw_transparency_31 { background: rgba(39, 43, 52, 0.31); }
|
|
|
|
|
.mw_transparency_32 { background: rgba(39, 43, 52, 0.32); }
|
|
|
|
|
.mw_transparency_33 { background: rgba(39, 43, 52, 0.33); }
|
|
|
|
|
.mw_transparency_34 { background: rgba(39, 43, 52, 0.34); }
|
|
|
|
|
.mw_transparency_35 { background: rgba(39, 43, 52, 0.35); }
|
|
|
|
|
.mw_transparency_36 { background: rgba(39, 43, 52, 0.36); }
|
|
|
|
|
.mw_transparency_37 { background: rgba(39, 43, 52, 0.37); }
|
|
|
|
|
.mw_transparency_38 { background: rgba(39, 43, 52, 0.38); }
|
|
|
|
|
.mw_transparency_39 { background: rgba(39, 43, 52, 0.39); }
|
|
|
|
|
.mw_transparency_40 { background: rgba(39, 43, 52, 0.40); }
|
|
|
|
|
.mw_transparency_41 { background: rgba(39, 43, 52, 0.41); }
|
|
|
|
|
.mw_transparency_42 { background: rgba(39, 43, 52, 0.42); }
|
|
|
|
|
.mw_transparency_43 { background: rgba(39, 43, 52, 0.43); }
|
|
|
|
|
.mw_transparency_44 { background: rgba(39, 43, 52, 0.44); }
|
|
|
|
|
.mw_transparency_45 { background: rgba(39, 43, 52, 0.45); }
|
|
|
|
|
.mw_transparency_46 { background: rgba(39, 43, 52, 0.46); }
|
|
|
|
|
.mw_transparency_47 { background: rgba(39, 43, 52, 0.47); }
|
|
|
|
|
.mw_transparency_48 { background: rgba(39, 43, 52, 0.48); }
|
|
|
|
|
.mw_transparency_49 { background: rgba(39, 43, 52, 0.49); }
|
|
|
|
|
.mw_transparency_50 { background: rgba(39, 43, 52, 0.50); }
|
|
|
|
|
.mw_transparency_51 { background: rgba(39, 43, 52, 0.51); }
|
|
|
|
|
.mw_transparency_52 { background: rgba(39, 43, 52, 0.52); }
|
|
|
|
|
.mw_transparency_53 { background: rgba(39, 43, 52, 0.53); }
|
|
|
|
|
.mw_transparency_54 { background: rgba(39, 43, 52, 0.54); }
|
|
|
|
|
.mw_transparency_55 { background: rgba(39, 43, 52, 0.55); }
|
|
|
|
|
.mw_transparency_56 { background: rgba(39, 43, 52, 0.56); }
|
|
|
|
|
.mw_transparency_57 { background: rgba(39, 43, 52, 0.57); }
|
|
|
|
|
.mw_transparency_58 { background: rgba(39, 43, 52, 0.58); }
|
|
|
|
|
.mw_transparency_59 { background: rgba(39, 43, 52, 0.59); }
|
|
|
|
|
.mw_transparency_60 { background: rgba(39, 43, 52, 0.60); }
|
|
|
|
|
.mw_transparency_61 { background: rgba(39, 43, 52, 0.61); }
|
|
|
|
|
.mw_transparency_62 { background: rgba(39, 43, 52, 0.62); }
|
|
|
|
|
.mw_transparency_63 { background: rgba(39, 43, 52, 0.63); }
|
|
|
|
|
.mw_transparency_64 { background: rgba(39, 43, 52, 0.64); }
|
|
|
|
|
.mw_transparency_65 { background: rgba(39, 43, 52, 0.65); }
|
|
|
|
|
.mw_transparency_66 { background: rgba(39, 43, 52, 0.66); }
|
|
|
|
|
.mw_transparency_67 { background: rgba(39, 43, 52, 0.67); }
|
|
|
|
|
.mw_transparency_68 { background: rgba(39, 43, 52, 0.68); }
|
|
|
|
|
.mw_transparency_69 { background: rgba(39, 43, 52, 0.69); }
|
|
|
|
|
.mw_transparency_70 { background: rgba(39, 43, 52, 0.70); }
|
|
|
|
|
.mw_transparency_71 { background: rgba(39, 43, 52, 0.71); }
|
|
|
|
|
.mw_transparency_72 { background: rgba(39, 43, 52, 0.72); }
|
|
|
|
|
.mw_transparency_73 { background: rgba(39, 43, 52, 0.73); }
|
|
|
|
|
.mw_transparency_74 { background: rgba(39, 43, 52, 0.74); }
|
|
|
|
|
.mw_transparency_75 { background: rgba(39, 43, 52, 0.75); }
|
|
|
|
|
.mw_transparency_76 { background: rgba(39, 43, 52, 0.76); }
|
|
|
|
|
.mw_transparency_77 { background: rgba(39, 43, 52, 0.77); }
|
|
|
|
|
.mw_transparency_78 { background: rgba(39, 43, 52, 0.78); }
|
|
|
|
|
.mw_transparency_79 { background: rgba(39, 43, 52, 0.79); }
|
|
|
|
|
.mw_transparency_80 { background: rgba(39, 43, 52, 0.80); }
|
|
|
|
|
.mw_transparency_81 { background: rgba(39, 43, 52, 0.81); }
|
|
|
|
|
.mw_transparency_82 { background: rgba(39, 43, 52, 0.82); }
|
|
|
|
|
.mw_transparency_83 { background: rgba(39, 43, 52, 0.83); }
|
|
|
|
|
.mw_transparency_84 { background: rgba(39, 43, 52, 0.84); }
|
|
|
|
|
.mw_transparency_85 { background: rgba(39, 43, 52, 0.85); }
|
|
|
|
|
.mw_transparency_86 { background: rgba(39, 43, 52, 0.86); }
|
|
|
|
|
.mw_transparency_87 { background: rgba(39, 43, 52, 0.87); }
|
|
|
|
|
.mw_transparency_88 { background: rgba(39, 43, 52, 0.88); }
|
|
|
|
|
.mw_transparency_89 { background: rgba(39, 43, 52, 0.89); }
|
|
|
|
|
.mw_transparency_90 { background: rgba(39, 43, 52, 0.90); }
|
|
|
|
|
.mw_transparency_91 { background: rgba(39, 43, 52, 0.91); }
|
|
|
|
|
.mw_transparency_92 { background: rgba(39, 43, 52, 0.92); }
|
|
|
|
|
.mw_transparency_93 { background: rgba(39, 43, 52, 0.93); }
|
|
|
|
|
.mw_transparency_94 { background: rgba(39, 43, 52, 0.94); }
|
|
|
|
|
.mw_transparency_95 { background: rgba(39, 43, 52, 0.95); }
|
|
|
|
|
.mw_transparency_96 { background: rgba(39, 43, 52, 0.96); }
|
|
|
|
|
.mw_transparency_97 { background: rgba(39, 43, 52, 0.97); }
|
|
|
|
|
.mw_transparency_98 { background: rgba(39, 43, 52, 0.98); }
|
|
|
|
|
.mw_transparency_99 { background: rgba(39, 43, 52, 0.99); }
|
