122
122
--code-preprocessor-color : # af75c1 ;
123
123
--code-fsioutput-color : # 808080 ;
124
124
--code-tooltip-color : # d1d1d1 ;
125
+
125
126
}
126
127
127
128
/* dark theme */
671
672
672
673
p {
673
674
line-height : 1.8 ;
674
- margin-top : var (--spacing-300 );
675
+
676
+ & : not (: last-child ) {
677
+ margin-bottom : var (--spacing-300 );
678
+ }
675
679
}
676
680
677
681
ol , ul {
@@ -713,23 +717,20 @@ blockquote {
713
717
/* Code snippets */
714
718
715
719
/* reset browser style */
716
- pre {
717
- margin : 0 ;
718
- padding : 0 ;
719
- }
720
+
720
721
721
722
code , table .pre , pre {
722
723
background-color : var (--code-background );
723
724
color : var (--code-color );
724
- font-family : var (--monospace-font );
725
+ font-family : var (--monospace-font );
725
726
font-variant-ligatures : none;
726
727
font-size : var (--font-200 );
727
728
-webkit-text-size-adjust : 100% ;
728
729
}
729
730
730
731
h1 code , h2 code , h3 code , h4 code , h5 code , h6 code {
731
732
font-size : inherit;
732
- }
733
+ }
733
734
734
735
table .pre , # content > pre .fssnip {
735
736
border : 1px solid var (--code-fence-border-color );
@@ -1062,20 +1063,11 @@ span[onmouseout] {
1062
1063
flex-grow : 1 ;
1063
1064
}
1064
1065
1065
- & pre {
1066
- margin-bottom : var (--spacing-200 );
1067
- padding : var (--spacing-50 );
1068
- flex-grow : 1 ;
1069
- overflow-x : auto;
1070
- }
1071
1066
}
1072
1067
}
1073
1068
1074
1069
.fsdocs-summary-contents {
1075
- display : flex;
1076
- flex-direction : column;
1077
- justify-content : flex-start;
1078
- align-items : flex-start;
1070
+ width : 100% ;
1079
1071
}
1080
1072
1081
1073
.fsdocs-member-xmldoc-column {
@@ -1286,3 +1278,118 @@ dialog {
1286
1278
opacity : 0.75 ;
1287
1279
}
1288
1280
}
1281
+
1282
+
1283
+
1284
+
1285
+
1286
+ /* Code */
1287
+
1288
+ .fsdocs-api-code {
1289
+ font-family : var (--monospace-font );
1290
+ margin-bottom : 1rem ;
1291
+
1292
+ a .record-field-name ,
1293
+ a .union-case-property ,
1294
+ a .property {
1295
+ /* color: darken($primary, 4%); */
1296
+
1297
+ & : hover {
1298
+ text-decoration : underline;
1299
+ }
1300
+ }
1301
+
1302
+ .property [id ]: target ,
1303
+ a [id ]: target {
1304
+ animation-name : blink;
1305
+ animation-direction : normal;
1306
+ animation-duration : 0.75s ;
1307
+ animation-iteration-count : 2 ;
1308
+ animation-timing-function : ease;
1309
+ }
1310
+
1311
+ span {
1312
+ & .property {
1313
+ color : var (--code-property-color );
1314
+ }
1315
+
1316
+ & .keyword {
1317
+ color : var (--code-keywords-color );
1318
+ }
1319
+
1320
+ & .type {
1321
+ color : var (--code-reference-color );
1322
+ }
1323
+ }
1324
+
1325
+ }
1326
+
1327
+ /*
1328
+ Animations for blinking the target of a link
1329
+
1330
+ It makes it easier to see where the link is pointing to
1331
+ */
1332
+ @keyframes blink {
1333
+ 0% {
1334
+ background-color : var (--primary );
1335
+ color : var (--background );
1336
+ }
1337
+ 100% {
1338
+ background-color : transparent;
1339
+ color : var (--link-color );
1340
+ }
1341
+ }
1342
+
1343
+ .docs-example : not (: last-child ) {
1344
+ margin-bottom : var (--spacing-300 );
1345
+ }
1346
+
1347
+ /*
1348
+ If there is parameter right after this one, add some margin.
1349
+
1350
+ We don't want to do it for all of them, because the last one is followed by a `hr` which already adds spacing around it.
1351
+ */
1352
+ .fsdocs-doc-parameter {
1353
+ margin-bottom : var (--spacing-300 );
1354
+ }
1355
+
1356
+ /*
1357
+ .button {
1358
+ padding: .5rem .75rem;
1359
+ color: var(--text-color);
1360
+ cursor: pointer;
1361
+ border-radius: var(--radius);
1362
+
1363
+ &:has(iconify-icon) {
1364
+ display: flex;
1365
+ justify-content: center;
1366
+ align-items: center;
1367
+ }
1368
+
1369
+ &:hover {
1370
+ background-color: var(--shadow-color);
1371
+ }
1372
+ } */
1373
+
1374
+ .fsdocs-block {
1375
+ position : relative;
1376
+ padding : 1rem ;
1377
+
1378
+ & : not (: first-child ) {
1379
+ border-top : 1px solid var (--shadow-color );
1380
+ }
1381
+
1382
+ .actions-buttons {
1383
+ /* Buttons are in the top right of the current block */
1384
+ position : absolute;
1385
+ top : 1rem ;
1386
+ right : 1rem ;
1387
+
1388
+ /* Should be extract as an independant .buttons class when reworking the CSS */
1389
+ display : flex;
1390
+ gap : .25rem ;
1391
+ flex-wrap : wrap;
1392
+ justify-content : flex-start;
1393
+ align-items : center;
1394
+ }
1395
+ }
0 commit comments