Tiparoj

Flaticon

Ekde septembro 2014 ni uzas ikonan tiparon pri simboloj por diversaj dosierformoj. Jen informoj pri tio: Font generated by flaticon.com under CC BY. The authors are: Freepik.

Krome ni uzas la jenajn CSS-formatojn, por aperigi simbolon je la fino de ligilo al specifa dosiero:

Fontoteksto CSS
           /* Symbole für verschiedene Dateiformate */
                   #enhavo a:after {
                   font-family: Flaticon;
                   font-size:1.375em;
                   margin-left:10px;
                   display:inline-block;
                   }
           /* in einer Liste */
           #enhavo ul a:after {
                   margin-left:20px;
           }

           #enhavo a[href$=".pdf"]:link:after,
           #enhavo a[href$=".pdf"]:visited:after  {
                   content:"\f178";
                   color:red;
           }
           #enhavo a[href$=".doc"]:link:after,
           #enhavo a[href$=".doc"]:visited:after  {
                   content:"\f12d";
                   color:blue;
           }

           #enhavo a[href$="rss_novajhoj.xml"]:link:after,
           #enhavo a[href$="rss_novajhoj.xml"]:visited:after  {
                   content:"\f18a";
                   color:#DFAC20;
           }

           #enhavo a[href$=".js"]:link:after,
           #enhavo a[href$=".js"]:visited:after  {
                   content:"\f14e";
                   color:#cc9;
           }
           #enhavo a[href$=".zip"]:link:after,
           #enhavo a[href$=".zip"]:visited:after {
                   content:"\f1af";
                   color:#ff4500;
            }
           #enhavo a[href$=".css"]:link:after,
           #enhavo a[href$=".css"]:visited:after {
                   content:"\f120";
                   color:#ff4500;
            }

Droid-Sans

La 16-an de Oktobro 2014 RP enplektis la tiparon "Droid-Sans" por titoloj. Por la tiparo validas la Apache permesilo.

Fontello

Ekde la 23-a de julio 2016 ni uzas tiparon kreitan surbaze de tiparoj el Fontello, kiu ekde la 11-a de marto 2018 enhavis 40 signojn, sed ekde la 9-a de junio 2018 havis 47 signojn. La 8-an de julio RP denove aldonis pliajn signojn, tiel ke nun estas eĉ 51 signoj. Ili estas aperigeblaj per class-atributo, kiu komenciĝas per icon-. Detaloj pri la permesilo legeblas en aparta paĝo.

Ekde la 11-a de septembro 2016 aliaj CSS-dosieroj estas uzataj, tiel ke la tiparoj de Flaticon kaj Fontello finfine eĉ funkcias per Webkit-foliumiloj sur Android.

Jen demonstracio por tio:

Simboloj en la ĉefa menuo

Ekde la 8-a de julio 2018 ni uzas tiparajn simbolojn en nia ĉefa menuo.

RP kreis por tio adaptan kodon:

Fontoteksto CSS
                        nav#chefa > ul > li > a:before,
                        nav#chefa > ul > li > b:before {
                                   font-family:"fontello";
                                   font-size:.7em;
                                   padding-right: 5px;
                                   vertical-align:middle;
                        }

                        nav#chefa ul li[data-col]:first-child > a:before,
                        nav#chefa ul li[data-col]:first-child > b:before        {
                                   content:"\e808";
                        }
                        nav#chefa > ul > li:nth-child(2) > a:before,
                        nav#chefa > ul > li:nth-child(2) > b:before        {
                                   content:"\e807";
                        }
                        nav#chefa ul li[data-col]:nth-child(3) > a:before,
                        nav#chefa ul li[data-col]:nth-child(3) > b:before        {
                                   content:"\e80b";
                        }
                        nav#chefa ul li[data-col]:nth-child(4) > a:before,
                        nav#chefa ul li[data-col]:nth-child(4) > b:before        {
                                   content:"\f064";
                        }
                        nav#chefa ul li[data-col]:nth-child(5) > a:before,
                        nav#chefa ul li[data-col]:nth-child(5) > b:before        {
                                   content:"\e815";
                        }
                        nav#chefa ul li[data-col]:last-child > a:before,
                        nav#chefa ul li[data-col]:last-child > b:before        {
                                   content:"\f07b";
                        }

Icon Font for jQuery UI

Ekde la 27-a de junio 2016 ni uzas signon el la tiparo de Icon Font for jQuery UI. Per memkreita aldona dosiero ĝi funkcias eĉ per la malnova foliumilo Interreta Esplorilo 7.

Ekde la 12-a de junio 2018 ni uzas duan signon el la tiparo de Icon Font for jQuery UI, nome por nia mem kreita ludilo de aŭdaĵoj.