Skip to content
Snippets Groups Projects
Commit d0611a63 authored by Giuseppe Tropea's avatar Giuseppe Tropea
Browse files

html of spec

parent 241d5b14
No related branches found
No related tags found
No related merge requests found
Pipeline #17117 failed
Stage: prepare
    Stage: test
      Hide whitespace changes
      Inline Side-by-side
      public/background_highlight.css 0 → 100644
      + 452
      − 0
      View file @ d0611a63
      .NF {
      font-family: Arial;
      font-size: 9pt;
      text-indent: -42.55pt;
      padding-left: 56.75pt;
      background-color: rgba(128,128,128, 0.5)
      }
      .TAH {
      font-family: Arial;
      font-size: 9pt;
      font-weight: bold;
      text-align: center;
      background-color: rgba(128,128,128, 0.5)
      }
      .TAC {
      font-family: Arial;
      font-size: 9pt;
      text-align: center;
      background-color: rgba(128,128,128, 0.5)
      }
      .TAL {
      font-family: Arial;
      font-size: 9pt;
      background-color: rgba(128,128,128, 0.5)
      }
      .HTML_Variable {
      font-family: Roboto Mono;
      font-size: 8pt;
      font-style: italic;
      color: #5848B8
      }
      .HTML_Keyboard {
      font-family: Times New Roman;
      font-size: 10pt;
      color: #595959;
      }
      .HTML_Definition {
      font-style: italic;
      color: #88F898
      }
      .TAN {
      font-family: Arial;
      font-size: 9pt;
      text-indent: -42.55pt;
      padding-left: 42.55pt;
      background-color: rgba(128,128,128, 0.5)
      }
      .HTML_Code {
      font-family: Roboto Mono;
      font-size: 8pt;
      color: #31849B;
      }
      .ondemand_CHAR_Arial {
      font-family: Arial;
      font-size: 9pt;
      background-color: rgba(56,72,8, 0.5)
      }
      .ondemand_PAR_alignment_CENTER {
      text-align: center;
      background-color: rgba(232,216,24, 0.5)
      }
      .ondemand_CHAR_Roboto_Mono {
      font-family: Roboto Mono;
      font-size: 8pt;
      color: #31849B;
      background-color: rgba(8,40,88, 0.5)
      }
      .Testo_normale_Carattere {
      font-family: Courier New;
      color: #D828B8
      }
      .ondemand_CHAR_Courier_New {
      font-family: Courier New;
      background-color: rgba(40,248,24, 0.5)
      }
      .HTML_Error {
      font-weight: bold;
      font-style: italic;
      color: #595959;
      }
      .TAJ {
      font-family: Arial;
      font-size: 9pt;
      text-align: justify;
      background-color: rgba(128,128,128, 0.5)
      }
      .ondemand_PAR_alignment_CENTER_space_before_3_space_after_3 {
      text-align: center;
      margin-top: 3.0pt;
      margin-bottom: 3.0pt;
      background-color: rgba(104,120,184, 0.5)
      }
      .FP {
      background-color: rgba(128,128,128, 0.5)
      }
      .ZA {
      font-family: Arial;
      font-size: 20pt;
      text-align: right;
      background-color: rgba(128,128,128, 0.5)
      }
      .ZGSM {
      color: #489858
      }
      .ZT {
      font-family: Arial;
      font-size: 17pt;
      font-weight: bold;
      text-align: center;
      background-color: rgba(128,128,128, 0.5)
      }
      .ZG {
      font-family: Arial;
      text-align: right;
      background-color: rgba(128,128,128, 0.5)
      }
      .ZD {
      font-family: Arial;
      font-size: 16pt;
      background-color: rgba(128,128,128, 0.5)
      }
      .ZB {
      font-family: Arial;
      font-style: italic;
      text-align: right;
      padding-right: 1.4pt;
      background-color: rgba(128,128,128, 0.5)
      }
      .ondemand_CHAR_Century_Gothic {
      font-family: Century Gothic;
      font-size: 16pt;
      font-weight: bold;
      color: #FFFFFF;
      background-color: rgba(120,56,120, 0.5)
      }
      .H6 {
      font-family: Arial;
      font-size: 10pt;
      text-indent: -99.25pt;
      padding-left: 99.25pt;
      margin-top: 6.0pt;
      margin-bottom: 9.0pt;
      background-color: rgba(128,128,128, 0.5)
      }
      .NO {
      text-indent: -42.55pt;
      padding-left: 56.75pt;
      margin-bottom: 9.0pt;
      background-color: rgba(128,128,128, 0.5)
      }
      .EX {
      text-indent: -70.9pt;
      padding-left: 85.1pt;
      margin-bottom: 9.0pt;
      background-color: rgba(128,128,128, 0.5)
      }
      .EW {
      text-indent: -70.9pt;
      padding-left: 85.1pt;
      background-color: rgba(128,128,128, 0.5)
      }
      .FL {
      font-family: Arial;
      font-weight: bold;
      text-align: center;
      margin-top: 3.0pt;
      margin-bottom: 9.0pt;
      background-color: rgba(128,128,128, 0.5)
      }
      .TF {
      font-family: Arial;
      font-weight: bold;
      text-align: center;
      margin-bottom: 12.0pt;
      background-color: rgba(128,128,128, 0.5)
      }
      .B1plus {
      text-indent: -22.7pt;
      padding-left: 36.9pt;
      margin-bottom: 9.0pt;
      background-color: rgba(128,128,128, 0.5)
      }
      .ondemand_PAR_space_after_12 {
      margin-bottom: 12.0pt;
      background-color: rgba(40,40,72, 0.5)
      }
      .TH {
      font-family: Arial;
      font-weight: bold;
      text-align: center;
      margin-top: 3.0pt;
      margin-bottom: 9.0pt;
      background-color: rgba(128,128,128, 0.5)
      }
      .ondemand_PAR_space_after_6 {
      margin-bottom: 6.0pt;
      background-color: rgba(88,168,232, 0.5)
      }
      .ondemand_PAR_space_after_10 {
      margin-bottom: 10.0pt;
      background-color: rgba(8,248,40, 0.5)
      }
      .B2plus {
      text-indent: -22.7pt;
      padding-left: 59.55pt;
      margin-bottom: 9.0pt;
      background-color: rgba(128,128,128, 0.5)
      }
      .HTML_Sample {
      font-family: Courier New;
      font-size: 8pt;
      color: #D89848
      }
      .ondemand_PAR_first_line_indent_-21_left_indent_35 {
      text-indent: -21.25pt;
      padding-left: 35.45pt;
      background-color: rgba(8,168,72, 0.5)
      }
      .ondemand_PAR_left_indent_14 {
      padding-left: 14.2pt;
      background-color: rgba(72,200,120, 0.5)
      }
      .ondemand_PAR_first_line_indent_14 {
      text-indent: 14.2pt;
      background-color: rgba(184,216,72, 0.5)
      }
      .ondemand_PAR_first_line_indent_36 {
      text-indent: 36.0pt;
      background-color: rgba(72,120,72, 0.5)
      }
      .ondemand_PAR_first_line_indent_14_left_indent_14 {
      text-indent: 14.15pt;
      padding-left: 14.15pt;
      background-color: rgba(248,216,88, 0.5)
      }
      .ondemand_PAR_first_line_indent_21_left_indent_14 {
      text-indent: 21.25pt;
      padding-left: 14.2pt;
      background-color: rgba(248,168,56, 0.5)
      }
      .ondemand_PAR_first_line_indent_35 {
      text-indent: 35.45pt;
      background-color: rgba(216,8,40, 0.5)
      }
      .B3 {
      text-indent: -22.7pt;
      padding-left: 82.25pt;
      margin-bottom: 9.0pt;
      background-color: rgba(128,128,128, 0.5)
      }
      .PL {
      font-family: Courier New;
      font-size: 8pt;
      background-color: rgba(128,128,128, 0.5)
      }
      .Hyperlink {
      text-decoration: underline;
      color: #0000FF;
      }
      .B3plus {
      text-indent: -22.7pt;
      padding-left: 82.25pt;
      margin-bottom: 9.0pt;
      background-color: rgba(128,128,128, 0.5)
      }
      .B1 {
      text-indent: -22.7pt;
      padding-left: 36.9pt;
      margin-bottom: 9.0pt;
      background-color: rgba(128,128,128, 0.5)
      }
      .B4 {
      text-indent: -22.7pt;
      padding-left: 104.9pt;
      margin-bottom: 9.0pt;
      background-color: rgba(128,128,128, 0.5)
      }
      .B2 {
      text-indent: -22.7pt;
      padding-left: 59.55pt;
      margin-bottom: 9.0pt;
      background-color: rgba(128,128,128, 0.5)
      }
      .ondemand_PAR_first_line_indent_-56_left_indent_56 {
      text-indent: -56.8pt;
      padding-left: 56.8pt;
      background-color: rgba(88,8,120, 0.5)
      }
      .B5 {
      text-indent: -22.7pt;
      padding-left: 127.6pt;
      margin-bottom: 9.0pt;
      background-color: rgba(128,128,128, 0.5)
      }
      .ondemand_PAR_first_line_indent_-18_left_indent_32 {
      text-indent: -18.0pt;
      padding-left: 32.2pt;
      background-color: rgba(184,8,184, 0.5)
      }
      .ondemand_PAR_first_line_indent_-22_left_indent_59 {
      text-indent: -22.7pt;
      padding-left: 59.55pt;
      background-color: rgba(200,232,152, 0.5)
      }
      .BL {
      margin-bottom: 9.0pt;
      background-color: rgba(128,128,128, 0.5)
      }
      .ondemand_PAR_alignment_CENTER_space_before_3 {
      text-align: center;
      margin-top: 3.0pt;
      background-color: rgba(88,24,40, 0.5)
      }
      .ondemand_PAR_alignment_CENTER_space_after_12 {
      text-align: center;
      margin-bottom: 12.0pt;
      background-color: rgba(152,40,8, 0.5)
      }
      .ondemand_PAR_left_indent_19 {
      padding-left: 19.2pt;
      background-color: rgba(120,88,232, 0.5)
      }
      .BN {
      margin-bottom: 9.0pt;
      background-color: rgba(128,128,128, 0.5)
      }
      0% or .
      You are about to add 0 people to the discussion. Proceed with caution.
      Finish editing this message first!
      Please register or to comment